How would I go about exporting to an AVI file; 8-bit and/or 10-bit with specifying a codec?

I see  all .png files produced during stip 1 in folder "1>original_frames" are 8-bit. I assume these would need to be 10-bit.