In the process, spruce up our realization diagnostics logging and factor
out some of the repetitive code in the examples, because we're already
changing those parts of the code to adapt them to the new encapsulation.
This commit changes the example output format. I've checked by hand that
the output is rearranged but not meaningfully changed.
d4302d237b