pub(crate) fn ir_verify(graph: PyRef<'_, PyScGraph>) -> Option<Vec<String>>
Verify an IR graph. Returns None on success, or a list of error strings.