Run Prog Mode hooks for Proof Mode

Proofs are programs just as well, and I want all my nice Prog Mode
tools!