Non-degeneracy and irreducibility of Killing forms on finite groups