Update `ecdsa-crucible.saw` to use unqualified field names.
Update `ecdsa-crucible.saw` to use unqualified field names.

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