Some reformatting.
Added a summary section to the proof output file, along with some metrics about each VC proof.