Hamiltonicity of digraphs for universal cycles of permutations