Moved correctness checks to binary_search()