I guess I got confused at "If he thought he was in a superposition he would believe in many worlds."
Do you mean "he can either think he can be in superposition or he cannot be, if he thinks he can be then he would believe in many worlds, which is incompatible with 'traditional' QM, which thus implies 'Traditional QM does not allow Wigner’s friend to be in superposition.'" ?
I don't think the Traditional QM ever explicitly disallowed a person to be in superposition; being in superposition it's just not something "decent people" do, I suppose.
Thus we needed to find other ways to come to terms with what we observe. But the math is the same. The rest is only metaphors that help us reconcile what we observe with how we feel inside.
Thus, many worlds is not antithetic to traditional QM.