Some minor code motion; move bit blasting operations into SAWCore
Some minor code motion; move bit blasting operations into SAWCore

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