Require content in tactic/proof blocks

Fixes #995