Merge "ART: Make sure dex files are verified in the compiler"
am: c801425e18

* commit 'c801425e18520281d440dbf6e29c8c93b31de371':
  ART: Make sure dex files are verified in the compiler