Function append_biguint_lower_bits_with_left_zero_pad 

fn append_biguint_lower_bits_with_left_zero_pad(
    value: &BigUint,
    width: usize,
    out: &mut Vec<bool>,
)