Irreducibility and non-degeneracy of Killing forms on finite groups