Fix sem-highlighting broken when doc and server out of sync
Sometimes when editing large documents, semantic highlighting breaks because the server doesn't have the latest changes we just made.
Sometimes when editing large documents, semantic highlighting breaks because the server doesn't have the latest changes we just made.