Bump to latest `cryptol` submodule commit

[RyanGlScott]

This is split into two commits:

• One that bumps the submodule commit to bring in the changes from https://github.com/GaloisInc/cryptol/pull/1664, which requires some code changes in cryptol-saw-core
• Another that bumps the submodule commit to bring the changes from https://github.com/GaloisInc/cryptol/pull/1682, which is the latest cryptol commit on the master branch as of writing this.