This makes me think that the next generation may have a new profession of hybrid lawyer-programmers that are engaged to ensure the validity of smart contracts,

This makes me think that the next generation may have a new profession of hybrid lawyer-programmers that are engaged to ensure the validity of smart contracts, both negotiating and formally verifying these boilerplate transaction machines. While this was clearly a technical oversight, there are also legal frameworks and traditions that need to be programmed into future contracts. That along with insurance, escrow, title, and other professions will need to evolve with web 3 paradigms.