Output cropped at circa 10000 lines

[Zireael07]

If I pipe the output to a file, it gets cut at line 10670 consistently. If I don't pipe the output, I can see some more lines but then it gets cut too. I suspect there is a Windows limitation on number of bytes that can be written in one go (https://bugs.python.org/issue11395, pallets/click#825).

I suspect we could instead print in separate parts and/or implement starting at an offset.