refactor: switch to consume_intermediate_mle in `ProofPlan::verifie…
#140
| Job | Run time |
|---|---|
| 1m 28s | |
| 1m 28s | |
| 12m 23s | |
| 12m 23s | |
| 1m 41s | |
| 1m 41s | |
| 16s | |
| 16s | |
| 6m 45s | |
| 6m 45s | |
| 9s | |
| 9s | |
| 7s | |
| 7s | |
| 5m 50s | |
| 17s | |
| 51m 45s |