add kani action

.github/workflows/rust.yml

@@ -15,6 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
+    - uses: model-checking/kani-github-action@v1
     - name: Build
       run: cargo build --verbose --all-features
     - name: Run tests