Python: Require argo-client >= 0.0.13 and cryptol 3.2.1

This updates the `saw-client` Python bindings to require the use of
`argo-client-0.0.13` or later, bringing in the performance improvements from
GaloisInc/argo#216. It also brings in the use of `cryptol-3.2.1`, which is
compatible with `argo-client-0.0.13` or later.

saw-remote-api/python/CHANGELOG.md

@@ -1,5 +1,10 @@
 # Revision history for saw-client
 
+## next -- TBA
+
+* Require building with `argo-client-0.0.13` or later. `argo-client-0.0.13` uses
+  blocking IO, which should reduce CPU load when receiving replies.
+
 ## 1.2.0 -- 2024-08-30
 
 * Add `str_slice()` and `str_slice_range()` functions for constructing MIR `str`

saw-remote-api/python/pyproject.toml

@@ -14,8 +14,8 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "3.2.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
-argo-client = "0.0.12"
+cryptol = "3.2.1" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+argo-client = ">=0.0.13"
 lmdb = "^1.4.1"
 cbor2 = "^5.4.6"
 python-dateutil = "^2.8.2"