steve.py: Add binary_search function