Bump deps/cryptol

mtullsen · mtullsen · commit 66025b07dd8f · 2025-09-16T14:44:27.000-07:00
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit c4d5e72d56971763c77f851cc5a8d9ebf7ecc935
+Subproject commit e9827790c59cb40381932f66df4b91df89a4fac1
