Add option to use booster-dev binary for execution of proofs
#9433
| Job | Run time |
|---|---|
| 5s | |
| 1m 59s | |
| 8m 14s | |
| 1m 50s | |
| 37m 15s | |
| 2m 11s | |
| 5m 8s | |
| 7m 39s | |
| 3m 17s | |
| 11m 4s | |
| 24m 9s | |
| 5m 49s | |
| 1h 48m 40s |