proofmode: figure out when to call `pm_prettify`
!956 (merged) fixed some display bugs by adding missing pm_prettify
calls. However I added them in a basically arbitrary place since we don't have a clear pattern of when and when not to prettify. Would be good to sort that out.