Function write 

pub fn write(
    output: &mut impl Write,
    tag: u8,
    payload: &[u8],
    limit: NonZeroU32,
) -> Result<()>

Write a tag and payload, validating their combined size before any output.