Stepwise Verification and Remediation of Student Reasoning Errors with Large Language Model Tutors