But in general you are right in that once a stall happens, you aren't going anywhere.
Exactly. By running multiple interleaved branch-free binary searches at once you offer independent work to the out of order engine.