Fix ecdsa-crucible.saw to actually run all the proofs.
Fix ecdsa-crucible.saw to actually run all the proofs.

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