Function plan_verify_with 

pub fn plan_verify_with(
    share: Share,
    mode: VerifyMode,
    costs: &Costs,
    mhz: f64,
    shared_sha: bool,
) -> Option<ModulePlan<VerifyProfile>>

Best verify module within a share; shared_sha as in plan_sign_with (two blocks per verification). Same selection rule as plan_sign_with; None if nothing fits.