3. enact a rule that all trades stand.. erroneous trades made by a computer algorithm will never get rolled back
THIS. It is total bullshit that if your computer fucks up massively you get a rollback. Keep your winnings if you win, get your money back if you lose. What a deal for the big firms.
I have a theory that it's impossible to prove anything, but I can't prove it.