Hard limit to not fetch object IDs

With #630, the performance of the results page for large results improved considerably, and with #582 it should improve even more.

The final bottleneck is that a query to fetch object IDs is still being run. It's not too bad though, as on a fast computer it's not noticeable until 50k+. A hard limit of 10k to disable fetching of object IDs (and thereby refrain from loading all tools and enrichment - preferably without providing an override) may be reasonable.

Start at the results page and trace the query that fetches object IDs, then inspect how loading tools and enrichment depends on those IDs. The change is done when results above 10k stop fetching object IDs and do not load that related data, without an override.

Written by the indexing model from the issue text.