Search pagination: potentially update and reason about bucket bounds / divisor

Created by: slimsag

After https://github.com/sourcegraph/sourcegraph/pull/4796 is merged, the bucket divisor and bounds (min/max) are mostly arbitrarily chosen and should instead be based on measurements from benchmarking + measuring NITH query performance, etc. This could improve performance and reduce system load.