Add examples test to CI

Author: benbrandt

.github/workflows/test.yaml

@@ -82,3 +82,7 @@ jobs:
       - name: Test
         shell: bash
         run: COMPONENTIZE_PY_TEST_COUNT=20 PROPTEST_MAX_SHRINK_ITERS=0 cargo test --release
+
+      - name: Test examples
+        shell: bash
+        run: bash .github/workflows/examples.sh