If even such a simple case as escrow accounts can cause these kinds of bugs in ones intuition - and this probably gets much worse for people less versed in correctness proofs - then it seems sensible that people don't do big The DAO style constructions upfront but start using a limited number of small protocols for small transactions.