Avx512

+7.7 % on SPR AVX-512 SHA3-256 by shortening rounds 1 and 24

Two round-level specialisations on XKCP 8-way AVX-512 Keccak — 181 MH/s to 195 MH/s. 4-backend deploy matrix.