# avx2 Test AVX2 Keccak permutation.