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