Speed up rendering for large (15k+) selects

These commits do two things:
  * remove redundant calls to CSS setters
  * allow users to disable the "highlight match text" feature, which is very expensive for large selects.

I did not re-generate the js, but I'm happy to add that to this pull request if you like.