Merge "ART: Improve overflow detection in dex file verifier"