Remove a bunch of assume()s which are now always true.
#1105
| Job | Run time |
|---|---|
| 1m 42s | |
| 1m 54s | |
| 2m 21s | |
| 2m 36s | |
| 3m 44s | |
| 3m 23s | |
| 1m 24s | |
| 2m 42s | |
| -1s | |
| 19m 45s |
assume()s which are now always true.
#1105
| Job | Run time |
|---|---|
| 1m 42s | |
| 1m 54s | |
| 2m 21s | |
| 2m 36s | |
| 3m 44s | |
| 3m 23s | |
| 1m 24s | |
| 2m 42s | |
| -1s | |
| 19m 45s |