My broad view is that each time another "magic" tech comes along, eg macro assemblers, high-level compilers, high-level compilers with proof-based whole-system

My broad view is that each time another "magic" tech comes along, eg macro assemblers, high-level compilers, high-level compilers with proof-based whole-system optimisation, ... etc ... the best human contribution just moves up the abstraction level a bit. And given the maxim that (in this case) one can write about the same number of debugged lines of code at each level, the result is more interesting and productive over time. We're not dead/redundant yet, IMHO.