Fix binary serialization of Vector256