ci: add Kani Rust Verifier

.github/workflows/ci.yml

@@ -68,6 +68,15 @@ jobs:
         with:
           command: test
 
+  kani:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: 'Checkout your code.'
+        uses: actions/checkout@v3
+
+      - name: 'Run Kani on your code.'
+        uses: model-checking/kani-github-action@v0.45
+
   grcov:
     name: Coverage analysis
     runs-on: ubuntu-latest