I spend more time writing tests than writing code. Saying "You don't need to write code any more, only think, design, and write 'verification'" is interesting of course, but compacts a smaller percentage of the total time to make a feature than listeners might think.

However my recent years have been in Python, which perhaps is high level enough to require a large amount of code writing. Maybe in C++ it's a bigger gain?