ART: Verifier cleanup

Start making the method verifier more independent of externalities.
This will be implemented as incremental changes.

Incorporate suggestions from previous changes: some C++ cleanup.

Test: m test-art-host
Change-Id: If903239bee58858427f0eb3e3e37a1ca767529c5
1 file changed