ART: Verifier cleanup

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

Reorder impl::MethodVerifier's constructor arguments to have all
superclass arguments first. In an effort to simplify additions.

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