Remove a bunch of assume()s which are now always true.
#1107
| Job | Run time |
|---|---|
| 2m 5s | |
| 2m 28s | |
| 2m 29s | |
| 2m 1s | |
| 1m 2s | |
| 3m 35s | |
| 2m 12s | |
| 3m 57s | |
| 45s | |
| 20m 34s |
assume()s which are now always true.
#1107
| Job | Run time |
|---|---|
| 2m 5s | |
| 2m 28s | |
| 2m 29s | |
| 2m 1s | |
| 1m 2s | |
| 3m 35s | |
| 2m 12s | |
| 3m 57s | |
| 45s | |
| 20m 34s |