ART: Slightly simplify/modernize dex_file_verifier.cc am: 56cb3ceba9 am: 90b24ae800
am: 89a24c21a5

Change-Id: I2c435636f8f58b1f0d67629f5fef1ed419559189