Function add_limb 

pub fn add_limb(x: b85, y: b85, c: bool) -> (b85, bool)

One limb step of a 255-bit addition: x + y + c over 85 bits, with the carry out. Combinational; one 85-bit carry chain.