Python: Bump argo-client, mypy, cryptol versions

This patch:

* Bumps the `mypy` lower bounds to avoid incurring a dependency on `typed-ast`,
  which is being EOL'd soon. See python/typed_ast#179.
* Bumps the `argo` submodule to bring in the changes from
  GaloisInc/argo#195, which makes corresponding changes on the `argo` side.
* Bumps the `cryptol` submodule to bring in the changes from
  GaloisInc/cryptol#1493, which makes the corresponding changes on the `cryptol`
  side.

.github/workflows/ci.yml

@@ -315,6 +315,7 @@ jobs:
               cd saw-remote-api/python/
               poetry update
               poetry install
+              poetry run mypy --install-types --no-interactive || true
               poetry run mypy saw_client/
             os: macos-12
           - name: Check docs
@@ -337,7 +338,7 @@ jobs:
 
       - uses: actions/setup-python@v2
         with:
-          python-version: '3.9'
+          python-version: '3.11'
 
       - uses: abatilo/[email protected]
         with:

saw-remote-api/python/mypy.ini

@@ -1,6 +1,6 @@
 [mypy]
 no_implicit_optional = True
-python_version = 3.7
+python_version = 3.11
 warn_return_any = True
 warn_unused_configs = True
 warn_unused_ignores = True

saw-remote-api/python/pyproject.toml

@@ -14,11 +14,11 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "2.12.4" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
-argo-client = "0.0.10"
+cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+argo-client = "0.0.11"
 
 [tool.poetry.dev-dependencies]
-mypy = "^0.812"
+mypy = "^0.991"
 
 [build-system]
 requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]

saw-remote-api/scripts/run_rpc_tests.sh

@@ -18,6 +18,7 @@ poetry install
 
 echo "Typechecking code with mypy..."
 # Don't run mypy on tests/ yet, as it doesn't play well with mypy. See #1125.
+run_test poetry run mypy --install-types --non-interactive || true
 run_test poetry run mypy saw_client/
 
 export SAW_SERVER=$(which saw-remote-api)