Enable batch processing to report progress; closes #795