Support FastVerify with speed-profile.

Tweak a few compiler behavior to make it work and match test
expectations.

Test: test.py
Bug: 279728780
Change-Id: I350ff313ca53e2c19b637af7521683cc2b09d66f
6 files changed