Function plan_verify_shaped 

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

plan_verify_with restricted to builds of shape; without batch compression the profile has cp = 0.