Use new bitblasting primitives intead of old ones slated for removal.
Use new bitblasting primitives intead of old ones slated for removal.

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