- Use binary search to avoid creating / setting new ranges all the time.
- Slightly delay non-textChange highlighting request so that we don't
  send too many requests in case the user was just scrolling around

(cherry picked from commit ebe9f6c6)