Returns true if and only if value can be found in range, which is assumed to be sorted. Performs O(log(r.length)) evaluations of pred.