I think these are separate things. I get the heuristic you’re applying, but with rigorous testing code quality doesn’t matter the same way anymore. Indeed, what is quality?
I don’t think any of what you just said is true. Code quality matters even with testing even up to proof of correctness using formal methods, because working software is a moving target and quality is a measure of how easy / expensive it is to continue to track that target going forward.
