-progress flag in proof_check_tstp