Fix incorrect ScheduleDAG comment and formalize Weak edges.