fn verify_ssa(graph: &ScGraph, errors: &mut Vec<VerifyError>)
Check that every ValueId is defined exactly once.