TRACE-cs: Trustworthy Reasoning for Contrastive Explanations in Course Scheduling Problems