BitBlast: switch from MaybeT to ErrorT, for better error message reporting
BitBlast: switch from MaybeT to ErrorT, for better error message reporting

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