pub fn is_valid(v: &[u32]) -> bool
Returns whether the vector is sorted ascending non inclusive, of even length, and within the bounds of 0x0 -> 0x10FFFF inclusive.
0x0 -> 0x10FFFF