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