Simulator support for new bitvector-based index/shift/rotate operations
Simulator support for new bitvector-based index/shift/rotate operations

Remove support for bvToNat and finOfNat functions

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