pub fn addr_to_limbs<F: AbstractField>(addr: u64) -> [F; 3]
Returns a 48-bit address as three u16 limbs.