Test output improvements.

• New format for output files.
• Various bug fixes for test result tallying.