feat: add brainfuck_prover cli

.github/workflows/ci.yaml

@@ -22,6 +22,26 @@ jobs:
       - run: cargo install --locked cargo-machete
       - run: cargo machete
 
+  run-brainfuck-prover-unit-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2025-01-02
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo test --package brainfuck_prover --release --lib
+
+  run-brainfuck-prover-unit-tests-parallel:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2025-01-02
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo test --package brainfuck_prover --features parallel --release --lib
+
   run-brainfuck-vm-unit-tests:
     runs-on: ubuntu-latest
     steps:
@@ -30,7 +50,7 @@ jobs:
         with:
           toolchain: nightly-2025-01-02
       - uses: Swatinem/rust-cache@v2
-      - run: cargo test --test '*' --lib
+      - run: cargo test --package brainfuck_vm --release --test '*' --lib
 
   run-brainfuck-vm-integration-tests:
     runs-on: ubuntu-latest
@@ -40,12 +60,13 @@ jobs:
         with:
           toolchain: nightly-2025-01-02
       - uses: Swatinem/rust-cache@v2
-      - run: cargo test --test '*'
+      - run: cargo test --package brainfuck_vm --release --test '*'
 
   all-tests:
     runs-on: ubuntu-latest
     needs:
       - machete
+      - run-brainfuck-prover-unit-tests
       - run-brainfuck-vm-unit-tests
       - run-brainfuck-vm-integration-tests