Implement function `ecFromZ` in Cryptol.sawcore.
Implement function `ecFromZ` in Cryptol.sawcore.

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