Fix CI to run builder tests successfully

Now that the tests include real prover logic, we need to run them in
release mode.

.github/workflows/ci.yml

@@ -20,7 +20,7 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: test
-          args: --verbose --all
+          args: --verbose --release
 
   bitrot:
     name: Bitrot check
@@ -37,7 +37,7 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: build
-          args: --all --benches
+          args: --benches
 
   book:
     name: Book tests
@@ -156,4 +156,4 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: fmt
-          args: --all -- --check
+          args: -- --check