If your threat model assumes miners will never coordinate t…

If your threat model assumes miners will never coordinate to change rules, then non-mining validators will look redundant. If you want a system where miners can’t profit from such coordination, independent validation is the mechanism that makes it irrational in the first place.