Regression test that a VerifyError does not get wrapped in a
NoClassDefFoundError.