Use the pretty-printer in assertion reports, provide a cleaner interface for user :REPORT s, improve consistency of existing reports.