Add benchmarks to continuous integration workflow.

.github/workflows/tests.yml

@@ -24,6 +24,7 @@ jobs:
         run: |
           cargo run -- check examples/hello_world
           cargo run -- check examples/gift_card
+          cargo run -- check examples/benchmarks
       - name: Run acceptance tests
         working-directory: examples/acceptance_tests
         run: |