Function verify_updates_with 

pub fn verify_updates_with(
    plan: &Plan,
    version: &dyn Fn(&Probe) -> Option<String>,
    holds: &dyn Fn(&Probe) -> bool,
) -> Vec<Check>

The checks of a plan’s update steps: each package’s version now against its version before. version and holds answer for the machine.