Change proof reporting level in proof script

[manthonyaiello]

By focusing on only the checks that are not proved, it is much easier for reviewers to reason about the set of unproved checks and to spot any newly added failing checks.