There is a useful middle ground here. When picking the middle element, verify that it is indeed within the established bounds. This way, you'll still catch the

There is a useful middle ground here. When picking the middle element, verify that it is indeed within the established bounds. This way, you'll still catch the sort order violations that matter without making the whole search linear.