[gruez]

>And there are concerns that the honest majority can't figure out how to switch to the honest fork.

If that's always an option why bother with proof of stake in the first place? Just let it do whatever and switch to the "correct" fork once in a while!

[wmf]

Why not have the Supreme Court resolve every dispute? Because it's too expensive. Ultimately you can't exempt yourself from the judgement of society and the market. If you commit to a "most-work chain wins no matter what" policy it doesn't mean that chain will win economically.