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

* commit '6364b4291cd97e125fc1d9c84d6c61bd6dae281b':
  ART: Clean up DexFile verifier API