HotSwap: do not do any more checks if we have not yet done enough batches
HotSwap: check efficiency in terms of RuntimeBenchmark
Profiler: avoid hash-based edge lists if we have a node with a higher ID than 32k