Function full_round_terminal_permute_state 

pub fn full_round_terminal_permute_state<F: Field, A: Algebra<F> + InjectiveMonomial<D>, Mds: Permutation<[A; WIDTH]>, const WIDTH: usize, const D: u64>(
    state: &mut [A; WIDTH],
    constants: &FullRoundConstants<F, WIDTH>,
    mds: &Mds,
)

Apply the terminal full rounds (generic implementation).

Same structure as the initial full rounds, but uses the terminal constants.