fix remaining issues (#3411)

Author: leonardoalt

.github/workflows/nightly-tests.yml

@@ -159,6 +159,7 @@ jobs:
           echo 'powdr-riscv-elf = { path = "../riscv-elf" }' >> .cargo/config.toml
           echo 'powdr-number = { path = "../number" }' >> .cargo/config.toml
           echo 'powdr-autoprecompiles = { path = "../autoprecompiles" }' >> .cargo/config.toml
+          echo 'powdr-openvm-hints-circuit = { path = "../openvm/extensions/hints-circuit" }' >> .cargo/config.toml
 
       - name: Run reth benchmark
         run: |

openvm/src/lib.rs

@@ -1410,7 +1410,7 @@ mod tests {
     // TODO: fix this test. It works with `mock` (see above) but not with `prove_simple`
     #[test]
     #[ignore = "Panics with a verifier error like below without debug assertions, but fails with it"]
-    #[should_panic = "Verification(StarkError(InvalidProofShape)"]
+    #[should_panic = "StarkError(InvalidProofShape)"]
     fn keccak_plonk_small_prove_simple() {
         let mut stdin = StdIn::default();
         stdin.write(&GUEST_KECCAK_ITER_SMALL);