Exact Validity of Finite Group Permutation Tests