kani rustup update test

.github/workflows/kani-workflow.yml

@@ -21,6 +21,7 @@ jobs:
         rm -rf ./.??* || true
         ls -la 
     - uses: actions/checkout@v2
+      run: rustup update
       with:
         submodules: recursive
     - name: Run replace script