Improve error when bit-blasting fails during proof.
Improve error when bit-blasting fails during proof.

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