am d41e1a16: am 6364b429: Merge "ART: Clean up DexFile verifier API"

* commit 'd41e1a16aa63b76665ce31036dfc083cb3f2d19c':
  ART: Clean up DexFile verifier API