Function verify_cost_within 

pub fn verify_cost_within(
    v: &VerifyProfile,
    mode: VerifyMode,
    c: &Costs,
    limit: &Share,
    extra_lut: u32,
) -> Cost

A verify build’s cost with the memory layouts placed to fit limit.