In 2016, a computer science foresaw how naive design choices in the original DAO could wreck Ethereum. Things are different now, he says.