Too long output will lead to malformed JSON

[mousetail]

We limit the output length over the entire JSON document. This can result in invalid JSON. Instead, we should try to cut off at the boundary of a JSON document, and also limit the output per run in addition to an overall limit.