Adapt to changed Cryptol Env type from cryptol-verifier package.
Adapt to changed Cryptol Env type from cryptol-verifier package.

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