Remove unused primitives ecMin and ecMax, and implement ecFromThen.
Remove unused primitives ecMin and ecMax, and implement ecFromThen.

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