Update highlighter.js

Huge speed fix, basically instantaneous. No longer needs slow tag.