ART: Verifier cleanup

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

Some cleanup moving small function definitionss into their
declaration.

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