Update Kani version

tautschnig · tautschnig · commit 1a0fdc97dded · 2025-01-17T19:03:45.000Z
diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "db9516b292cf4f4b1a414d55e746f82d34fbc9f4"
+commit = "6f70c7d9ee283356e8a3712c42c4622a6bf6c5e8"
