Reland "Remove obsolete code in the verifier."

This reverts commit 7572e76a368e56da139648a5f2e0a92b25a581e2.

Bug: 176960283
Bug: 178731135

Reason for revert: Fixed access checks of mterp on array allocations

Change-Id: I5c2e321e392714bb6921f3b02e32a79ebfd4e22a
9 files changed