1Regression test for vdex that used to not AOT compile
2methods when the VerifierDeps were verified.
3