Fix "assumptions before steps" in subproof

• Clarify in document that it's not allowed to issue an (assume...) command after a the first (step..) at the beginning of the proof or after an (anchor...).
• Make sure veriT follows this rule (it doesn't currently)