But “reliably verify it” was always the critical difference between high and low quality engineering efforts.

Good programmers might have made things that “performed well”, and had “few bugs”, without this step, but it was not robust to changes over time. If we end up in a place where every project has solid automated verification, perhaps things get better overall.