Switch to binary search in get_instr_ptr()