Fix result printing

• Flushing stdout prevents the buffer from being printed twice, fixing issues with stdout printing out the testplan, etc, twice.
• Don't print out raw source/line numbers; hide them behind comments.

MFC after: 1 week