fn verify_no_cycles(graph: &ScGraph, errors: &mut Vec<VerifyError>)Expand description
Check that the operation list is acyclic (topological order).
Since we enforce operand-before-use in verify_operand_defs,
this is automatically satisfied if that check passes.
This function is a belt-and-suspenders DFS cycle check.