Speedups and fixups to wildkeccak and keccakf_mul.