Upgrade lengths of RichString to size_t & many related changes.
#4715
| Job | Run time |
|---|---|
| 46s | |
| 2m 22s | |
| 2m 4s | |
| 3m 1s | |
| 2m 36s | |
| 5m 54s | |
| 1m 18s | |
| 1m 2s | |
| 1m 19s | |
| 55s | |
| 49s | |
| 1m 9s | |
| 38s | |
| 28s | |
| 5s | |
| 3s | |
| 24m 29s |