Beautiful branchless binary search

Nice, but good luck debugging if cmp returns -1. This is C++ after all and there is no constraint/concept to enforce the function to return bool. If you're lucky you get a sign mismatch warning.