[mikeash]

It's all going to come down to risk/reward. How much work does it take to find a bug in a contract, and how much money do you get out of it? It's possible that any given contract is likely to have bugs, but that it takes so long to find them that it's not worth the effort. That assumes that different contracts have different bugs, which may not actually be the case. And of course it could be the other way around, where bugs are easy and plentiful and the whole thing collapses. It'll be interesting to see how it actually ends up.