Add instructions to two CI jobs to run the unit_test binary with the [z3] tag.

This allows us to run the (now hidden) z3 jobs, so that `z3` is not
required for a argument-less invocation of the unit-test binary.

Author: NlightNFotis

.github/workflows/pull-request-checks.yaml

@@ -107,6 +107,7 @@ jobs:
       - name: Run unit tests
         run: |
           make -C unit      test
+          make -C unit      test "[z3]"
           make -C jbmc/unit test
       - name: Run expected failure unit tests
         run: |
@@ -288,7 +289,9 @@ jobs:
       - name: Print ccache stats
         run: ccache -s
       - name: Run unit tests
-        run: cd unit; ./unit_tests
+        run: |
+          cd unit; ./unit_tests
+          cd unit; ./unit_tests "[z3]"
       - name: Run JBMC unit tests
         run: cd jbmc/unit; ./unit_tests
       - name: Run regression tests