Python: Bump argo-client, mypy 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` lower bounds to bring in the changes from
  GaloisInc/argo#195, which makes corresponding changes on the `argo` side.

Fixes #1491.

.github/workflows/ci.yml

@@ -87,7 +87,7 @@ jobs:
 
       - uses: actions/setup-python@v2
         with:
-          python-version: '3.7'
+          python-version: '3.11'
 
       - uses: abatilo/actions-poetry@v2.0.0
         with:

cryptol-remote-api/python/pyproject.toml

@@ -13,14 +13,14 @@ include = [
 ]
 
 [tool.poetry.dependencies]
-python = ">=3.7.0,<4"
+python = ">=3.8.0,<4"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-argo-client = "0.0.10"
+argo-client = "0.0.11"
 typing-extensions = "^4.1.1"
 
 [tool.poetry.dev-dependencies]
-mypy = "^0.812"
+mypy = "^0.991"
 
 [build-system]
 requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]

cryptol-remote-api/run_rpc_tests.sh

@@ -27,7 +27,7 @@ poetry update
 poetry install
 
 echo "Typechecking code with mypy..."
-run_test poetry run mypy cryptol/ tests/
+run_test poetry run mypy --install-types --non-interactive cryptol/ tests/
 
 get_server cryptol-remote-api
 echo "Running cryptol-remote-api tests..."