SAWCore simulator: support overloaded `zero` in BitBlast backend
SAWCore simulator: support overloaded `zero` in BitBlast backend

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