Refine the check on whether the K version was updated correctly

Author: palinatolmach

kevm-pyk/pyproject.toml

@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.280",
+    "kframework==7.1.282",
     "pathos",
     "tomlkit>=0.11.6",
 ]