Maximum-Size Independent Sets and Automorphism Groups of Tensor Powers of the Even Derangement Graphs