decrement highbound on is_pointer_to_heap b-search more efficiently

decrement highbound on is_pointer_to_heap's b-search more efficiently.