After I posted this it struck me to go in look what the RichText widget does in
flex/frameworks/projects/framework/src/mx/controls/ RichTextEditor.mxml and it
turns out the trick is the following lines:

dispatchEvent(new Event("change"));
invalidateDisplayList();
validateDisplayList();
callLater(setFocus);

immediately after tinkering with the textformat.