invalidate

Removes the underlines an edit touched, ahead of the refresh that checks the edited lines again, so none sits on text it no longer describes. Edits that have landed since operation must be passed with it, through the overload taking a list.

Removes the underlines operations touched, edits that landed one after another with no other since (TextEditorState.editOperationBursts): each is read in the text after it, as moved by those after it. See the overload for one edit.