Run test with proof generation:

```sh
./test_proof.sh
```

Run test without proof generation:

```sh
./test_without_proof.sh
```