Optimize Vector pinchable instance

Currently we build Vectors via List. As both the binary and compact protocol provide the size of lists, I guess we could deserialize vectors more efficiently using `Data.Vector.create`. Needs some benchmarking.

Look at the Vector serialization code in the pinch library, likely in modules handling binary and compact protocol deserialization. Understand how Data.Vector.create can be used for efficient construction. Write benchmarks to compare the current List-based approach with the new Vector-based one, ensuring correctness and performance improvements.

由索引模型根據 Issue 內容生成。