Remove a bunch of assume()s which are now always true.
#1108
| Job | Run time |
|---|---|
| 2m 1s | |
| 1m 50s | |
| 2m 17s | |
| 3m 32s | |
| 3m 49s | |
| 1m 57s | |
| 1m 2s | |
| 2m 16s | |
| 0s | |
| 18m 44s |
assume()s which are now always true.
#1108
| Job | Run time |
|---|---|
| 2m 1s | |
| 1m 50s | |
| 2m 17s | |
| 3m 32s | |
| 3m 49s | |
| 1m 57s | |
| 1m 2s | |
| 2m 16s | |
| 0s | |
| 18m 44s |