Port ecdsa proof to use new crucible_jvm_verify commands.
Port ecdsa proof to use new crucible_jvm_verify commands.

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