ANF solver: implement shift and rotate primitives
ANF solver: implement shift and rotate primitives

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