1. Add PrettyPrintOptions for enabling/disabling braces and for
#314
| Job | Run time |
|---|---|
| 6m 22s | |
| 14m 48s | |
| 21m 27s | |
| 22m 35s | |
| 19m 3s | |
| 1s | |
| 25m 41s | |
| 28m 54s | |
| 16m 59s | |
| 2h 35m 50s |