I think it's interesting to calculate how much less the BTC/USD exchange rate would have to be as a function of how much power the ES-adversary has. It's substantial!

One could even imagine creating "poison pill" derivative instruments where someone agrees to sell a lot of BTC if some predicate over the blockchain becomes true (such as a predicate that's only true if ES-mining is happening).