Clean up `checkStep` behind `java_verify_exp`
Clean up `checkStep` behind `java_verify_exp`

Remove some unnecessary code and improve diagnostic messages.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script