Fix potential bug with shift amounts larger than MAXINT
Fix potential bug with shift amounts larger than MAXINT

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