Bump version to 0.25.0 (#32)

Update action to use Kani version 0.25.0.

Author: celinval

action.yml

@@ -38,7 +38,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.24.0";
+        export KANI_VERSION="0.25.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;