Regression test for vdex, where we were compiling methods that had hard
failures.