Use text builder to build the pretty diff representation

Also switch to lazy texts as the type to build pretty
diffs from: they should be more performant.