Make `java_verify` call the `java_verify_exp` code
Make `java_verify` call the `java_verify_exp` code

This is the first step toward ripping out the old code. If this works
without issues for a while, we can remove the old stuff.

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