It's even worse than that. Zurek's einselection relies on decoherence to get rid of non-eigenstates, and reversibility is necessarily lost in this (MWI-compatible) model of measurement. There is no size restriction, but the measurement apparatus (including the observer looking at it) must necessarily leak information to the environment to work as a detector. Thus a reversible computation would not be classically detectable.