ART: Slightly simplify/modernize dex_file_verifier.cc
am: 56cb3ceba9

Change-Id: Ica422299dd9ca7852097f553f8524489a085ca93