Improved simplify, apply-assertions, and remove-unnecessary-assertions
#446
| Job | Run time |
|---|---|
| 41s | |
| 38s | |
| 1m 20s | |
| 32s | |
| 1m 19s | |
| 34s | |
| 1m 12s | |
| 40s | |
| 1m 12s | |
| 30s | |
| 1m 7s | |
| 9m 45s |