Regression test for verifier crash when processing a final abstract (erroneous) class.