The fact that CDOs were trading 35cents on the dollar is largely a part of default EXPECTATIONS resetting up. Smart contracts cannot expedite this process of resetting expectations. Ethereum (which, by the way, is too slow to run CDO pricing models) can only broadcast what the latest market price is. Ethereum helps price dissemination no more than a Bloomberg terminal can.