Highlights are not repainted if associated live ranges are changed.
<rdar://problem/116108148>
Pull request: https://github.com/WebKit/WebKit/pull/18266
Committed 268660@main (306860296d33): <https://commits.webkit.org/268660@main> Reviewed commits have been landed. Closing PR #18266 and removing active labels.