Refactor the printing of failure information in kontrol show

[anvacaru]

Different methods handle the post-processing and display of the proof information in show and prove. This could be refactored so both flows could use the same method.

Originally posted by @anvacaru in #1045 (comment)