Permute applys the keccakf permutation on the input state of 1600 bits, then outputs the permuted new state of 1600 bits the range check [0, 1] for each element in 'a' must be done outside already.

Permute applies Keccak-F permutation on the input a and returns the permuted vector.