bump Kani version

Carolyn Zech · Carolyn Zech · commit 620b466737e9 · 2025-02-24T16:57:40.000-05:00
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 = "81e9aa3063251cbe2474f18281c7292ebd41e667"
+commit = "2e95d8bc47a04f01badcb3d30875269be29a46aa"
