Prover UI improvements

This fixes #277. It also improves the positioning of the cursor when advancing through a proof script and makes error messages a bit more consistent. Finally, there's some code cleanup and removal of obsolete TODO comments.