” If every instance of being killed al kiddush Hashem was a misah meshuneh, those words would be superfluous.”
I don’t think that’s true. He may have wanted to stress either how horrible or how much of a kiddush Hashem (probably both) their death was by adding the words misah meshuneh.