Add Optimized and HOL Light verified AVX2 Keccak x4 #11571

Job	Run time
aws-lc-rs-linux	4m 58s
aws-lc-rs-macos	4m 17s
aws-lc-rs-windows	7m 34s
cmake-rust-bindings (linux-no-ssl)	1m 35s
cmake-rust-bindings (macos-prefix)	3m 57s
cmake-rust-bindings (windows)	5m 31s
cmake-rust-bindings (linux)	2m 33s
cmake-rust-bindings (macos)	2m 44s
cmake-rust-bindings (linux-prefix)	3m 27s
	36m 36s

Provide feedback