Update binary_search.py