Develop a benchmark containing a vectorized implementation of the ChaCha20 stream cipher. ChaCha20 is a widely-used cipher that was designed for efficient implementation on general-purpose SIMD hardware. Using this algorithm in a benchmark allows us to evaluate the performance of the vector API on a real-world example.