Limit diagnostics to 12000
Some LSP servers tend to send thousands upon thousands of diagnostics due to some misconfiguration or other reason. This ends up freezing or really slowing down Kate. We can optimize our model more by debouncing things a bit and maybe using a custom tree model but one has to think about the usefulness of such large number of diagnostics in the first place.