Fuzz testing de/serialization

Our de/serialization has many non-trivial code like below. It's better for us to be extremely cautious about the implementation, and fuzz test it or find some kind of formal verification to make sure the code is doing correctly.

  /*
    Serialized LiquidPrimitiveArray Memory Layout:

    +--------------------------------------------------+
    | LiquidPrimitiveArray Header (16 bytes)           |
    +--------------------------------------------------+
    | MAGIC (4 bytes)                                  |  // Offset  0..3: "LQDA" magic number (0x4C51_4441)
    +--------------------------------------------------+
    | VERSION (2 bytes)                                |  // Offset  4..5: Version (currently 1)
    +--------------------------------------------------+
    | type_id (2 bytes)                                |  // Offset  6..7: Type identifier for T
    +--------------------------------------------------+
    | reference_value (size_of::<T::Native> bytes)     |  // Offset  8..(8 + size_of::<T::Native> - 1):
    |                                                  |  // the reference value (e.g. minimum value)
    +--------------------------------------------------+
    | Padding (to 16 bytes)                            |  // Padding to ensure 16 byte
    +--------------------------------------------------+

    +--------------------------------------------------+
    | BitPackedArray Data                              |
    +--------------------------------------------------+
    | [BitPackedArray Header & Bit-Packed Values]      |  // Written by self.bit_packed.to_bytes()
    +--------------------------------------------------+
    */

Start by locating the de/serialization entry points for LiquidPrimitiveArray and the BitPackedArray bytes produced by self.bit_packed.to_bytes(). Review the documented memory layout and identify malformed-input and version/type cases for fuzzing. Done means fuzz coverage or formal verification is established for these paths and failures are reproducible.