Simulator: bitBlast function now also returns list of argument shapes
Simulator: bitBlast function now also returns list of argument shapes

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