Oh right, that's obviously not going to work unless you're willing to waste a huge amount of resources on speculative execution.

The fact that the selection of the next bisect depends on the result of the current one completely slipped my mind!