pub fn verify(plan: &Plan) -> Vec<Check>
Check every package and update step of a finished plan against the system.