MISched: Add SchedDFSResult to ScheduleDAGMI to formalize the
interface and allow other strategies to select it.