Avoid redundant call to `findMethod` in JVM verification code.
Avoid redundant call to `findMethod` in JVM verification code.

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