[Highlighting] Use cancellationtoken for semantic highlighting timeout.