Revert "Remove obsolete code in the verifier."

This reverts commit 22538e4672348c56d4d44d6113bedd6b47d0abd0.

Bug: 176960283
Bug: 178731135

Reason for revert: Fails some vm-tests

Change-Id: I60f44fe1ca963b08018fd9ab4ca352dfd8a8b1cb
1 file changed