Let me add to this quickly since I was just poking around what's installed with Kentico 9.
It looks like CodeMirror is already installed, but when I have a Rich Text Editor at a Page field and use the Source option, highlighting doesn't happen.
Is there a way to turn that on for a specific Rich Text Editor?