Function mac_by_limb 

fn mac_by_limb(
    a: &UintRef,
    b: &UintRef,
    c: Limb,
    carry: Limb,
) -> (BoxedUint, Limb)

Computes a + (b * c) + carry, returning the result along with the new carry.