Fix TestLocalChain CI action (rust-lang#3284)

Replace test used in workflow since we have deleted the function test. I
also made this action mandatory for our PRs.

Author: celinval

.github/workflows/release.yml

@@ -206,7 +206,7 @@ jobs:
 
       - name: Run cargo-kani tests after moving
         run: |
-          for dir in function multiple-harnesses verbose; do
+          for dir in supported-lib-types/rlib multiple-harnesses verbose; do
             >&2 echo "Running test $dir"
             pushd ${{ github.workspace }}/../post-setup-tests/cargo-ui/$dir
             cargo kani