Implement sign extension operator `ecSExt` in Cryptol.sawcore.
Implement sign extension operator `ecSExt` in Cryptol.sawcore.

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