add adaptive batch size heuristic for filtered search #1773

Job	Run time
clang++-15, RelWithDebugInfo, ivf=ON, asan=OFF	27m 10s
g++-11, RelWithDebugInfo, ivf=OFF, asan=OFF	16m 36s
g++-11, RelWithDebugInfo, ivf=ON, asan=OFF	25m 32s
clang++-18, Debug, ivf=OFF, asan=ON	9m 58s
g++-12, RelWithDebugInfo, ivf=OFF, asan=OFF	18m 12s
clang++-15, RelWithDebugInfo, ivf=OFF, asan=OFF	18m 12s
	1h 55m 40s

Provide feedback