Increase MAX_SIGNED_INCLUSION_LIST_SIZE to the worst-case size
#4041
| Job | Run time |
|---|---|
| 4s | |
| 56s | |
| 17s | |
| 2m 16s | |
| 2m 55s | |
| 2m 28s | |
| 1m 43s | |
| 2m 41s | |
| 7m 34s | |
| 7m 22s | |
| 7m 36s | |
| 1m 28s | |
| 3m 41s | |
| 6m 8s | |
| 7m 20s | |
| 7m 30s | |
| 2m 58s | |
| 1h 4m 57s |