If the decision-theoretic argument works, then a rational agent should expect to find herself in a branch which respects quantum statistics, so it should not surprise her to find herself in such a branch. Perhaps there is some measure according to which "most" observers are in branches where quantum statistics aren't respected, but that measure is not one that should guide the expectations of rational agents, so I don't see why it should be surprising that we are not typical observers in the sense of typicality associated with that measure.
It's sounding like a Boltzmann brain... the observer who happens to have memories of Born-friendly statistics should still be blasted into random pieces in the next moment.
I haven't pinned down the logic of it yet, but I do believe this issue - that the validity of quantum statistics is required for anything about observed reality to have any stability - seriously, even fatally, undermines Wallace's argument. Consider your assumption 2, "Arbitrary quantum superpositions can be prepared". This is the analogue, in the decision-theoretic argument, ...
The subject has already been raised in this thread, but in a clumsy fashion. So here is a fresh new thread, where we can discuss, calmly and objectively, the pros and cons of the "Oxford" version of the Many Worlds interpretation of quantum mechanics.
This version of MWI is distinguished by two propositions. First, there is no definite number of "worlds" or "branches". They have a fuzzy, vague, approximate, definition-dependent existence. Second, the probability law of quantum mechanics (the Born rule) is to be obtained, not by counting the frequencies of events in the multiverse, but by an analysis of rational behavior in the multiverse. Normally, a prescription for rational behavior is obtained by maximizing expected utility, a quantity which is calculated by averaging "probability x utility" for each possible outcome of an action. In the Oxford school's "decision-theoretic" derivation of the Born rule, we somehow start with a ranking of actions that is deemed rational, then we "divide out" by the utilities, and obtain probabilities that were implicit in the original ranking.
I reject the two propositions. "Worlds" or "branches" can't be vague if they are to correspond to observed reality, because vagueness results from an object being dependent on observer definition, and the local portion of reality does not owe its existence to how we define anything; and the upside-down decision-theoretic derivation, if it ever works, must implicitly smuggle in the premises of probability theory in order to obtain its original rationality ranking.
Some references:
"Decoherence and Ontology: or, How I Learned to Stop Worrying and Love FAPP" by David Wallace. In this paper, Wallace says, for example, that the question "how many branches are there?" "does not... make sense", that the question "how many branches are there in which it is sunny?" is "a question which has no answer", "it is a non-question to ask how many [worlds]", etc.
"Quantum Probability from Decision Theory?" by Barnum et al. This is a rebuttal of the original argument (due to David Deutsch) that the Born rule can be justified by an analysis of multiverse rationality.