Merge "ART: Improve overflow detection in dex file verifier" into lmp-dev