Added a new Precondition test to the binary search algorithms. This Precondition test
 makes sure that the iterator type is a random_access_iterator so that +/- ops are supported. Any other iterator types will fail this Precondition test.