This tests some facets of abstract method handling, notably situations
where a concrete class and its abstract superclass were compiled with
different notions about which methods are abstract.