Bump deps/cryptol to get updates

mtullsen · mtullsen · commit 2cfa65bc1056 · 2025-08-29T23:06:47.000-07:00
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 89c9f4bf058726f0fcf1e4f8aedd560b4b55f08b
+Subproject commit 606492f80784e00f73c511446a9cac1bfae83d9e
