Autograder: now halts on non-prompt errors