Adapt to Nat-based shift/rotate saw-core primitives.
Adapt to Nat-based shift/rotate saw-core primitives.

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