Diagnostic reporting should use some fancy color formatting

We have this really nice diagnostic tooling in the AssertionChecker, but writing the diagnostic items should use some fancy escape characters to color code the output (but we also probably should allow that to be disabled via a flag, too).