Enable reporting of all errors in a proof

Currently, Proof Rondo stops checking on the first error. However, for non-interactive use, we will need each error to be reported. For this, a line can be assumed to be proven if the proof fails and then the next line is checked independently. At the end, a failure with the list of all errors is reported.