Check that proof steps introduce no new problems

In interactive mode only (it is important that proofs can fail
temporarily during elaboration since futher information may help refine
the goal).

Fixes #1243