Add interleaving proof circuit with reference ledger/spec

.github/workflows/build.yml

@@ -15,7 +15,11 @@ jobs:
       # Enforce lockfile correctness.
       - run: cargo check --locked
       # Test all crates, except those that force-target WASM.
-      - run: cargo test --workspace
+      # Skip the tests that make proofs, since we'll run those on the release profile
+      - run: cargo test --workspace -- --skip circuit_test --skip test_runtime
+      # The tests that do Nightstream proofs are quite slow without --release
+      - run: cargo test -p starstream-interleaving-proof --release circuit_test
+      - run: cargo test -p starstream-runtime --release test_runtime
       # Cosmetic checks.
       - run: cargo clippy
       - run: cargo fmt --check