Bug 998507 - add some assertions to BinarySearch (r=me)