Function verify 

pub fn verify(graph: &ScGraph) -> Result<(), Vec<VerifyError>>

Run all verification passes on a graph. Returns Ok(()) if valid, or a list of all errors found.