Added vectorization stats.

Rationale:
Provides a (somewhat crude) quantative way to detect changes in
loop vectorization and idiom recognition (e.g. by means of market
scans, or just inspecting the same application before/after a change).

Test: market scan
Change-Id: Ic85938ba2b33c967de3159742c60301454a152a0