Calculates division with remainder of a u512 by a non-zero u256.

Signature

pub fn u512_safe_div_rem_by_u256(lhs: u512, rhs: NonZero) -> (u512, u256)