Check if the sed replacement succeeded with the expected version

Author: palinatolmach

.github/workflows/update-version.yml

@@ -45,6 +45,9 @@ jobs:
         run: |
           K_VERSION=$(cat deps/k_release)
           sed -i 's!    "kframework==[0-9\.]*",!    "kframework=='${K_VERSION}'",!' kevm-pyk/pyproject.toml
+          if ! grep -q "kframework==$K_VERSION" kevm-pyk/pyproject.toml; then
+            echo "Update failed: kframework==$K_VERSION not found"; exit 1
+          fi
           uv --project kevm-pyk lock --upgrade
           git add kevm-pyk/ && git commit -m "kevm-pyk/: sync uv files pyk version ${K_VERSION}" || true
       - name: 'Update plugin release file'