Make crucible_jvm_verify initialize classes referred from superclasses.
Make crucible_jvm_verify initialize classes referred from superclasses.

Previously, when verifying a method whose implementation was inherited
from a superclass, it was possible to fail to initialize a class that
was directly mentioned by the method's code. Now we take the union of
all class names directly referred to by any superclass.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script