Yes, but they will be dealing with a currency that has mathematical guarantees - which changes things entirely. Imagine a scenario in which self driving cars are not only the norm, but they've achieved a perfect safety record due to an open source, formally verified, code-base. In that scenario, do you think the National Highway Traffic Safety Administration still needs 600 employees and a 900 million dollar budget? I have no doubt that it would still exist, but it would be addressing an infinitely simpler problem - and the reduction in resource requirements would cut it down to a skeleton crew that would operate much like stubcode in the wake of a refactor.