{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.200

Author: github-actions[bot]

pyproject.toml

@@ -8,15 +8,15 @@ version = "0.1.18"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.197#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.200#subdirectory=kmir",
 ]
 
 [[project.authors]]
 name = "Runtime Verification, Inc."
 email = "contact@runtimeverification.com"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.197", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.200", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"