Temporarily disable term simplification in jvm resolveBitvectorTerm.
Temporarily disable term simplification in jvm resolveBitvectorTerm.

Doing simplification every time can be a serious performance bottleneck.

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