I totally agree with you. There are just too many articles and blog posts that read like "formal proofs and/or static types are end of all need for anything like tests be cause while the program is verified and/or compiled, it's correct".
As programmers we are always somewhere in the middle :)
As programmers we are always somewhere in the middle :)