This is really the approach that most conspiracy theories take. The fact that we don't know something to be true (but it's very likely to be) is used as an implication that it's probably false.
I'm generally satisfied with df if=/dev/zero of=/dev/sda because I'm not actually dealing with anything that sensitive, but if you are, just take appropriate steps. Defense in depth.
On a related note, I also have zero trust in manufacturer-supplied encryption that sits in the drives. There is no way for me to verify whether it actually does anything.
Warning: I don't know if the fumes are toxic.
If it's schoolwork or unimportant business data, a format is good enough. If we're talking CC and SSN numbers, the ATA command with writing 0's is good. If it's sensitive, a sledgehammer and an anvil is suitable.
I inherited a junk 1G hard drive, and just 'filed it away' in my junk drawer. After years, I actually checked the contents. Lo and behold: a flat database full of medical data, including SSN's and other revealing data. It was only 1G so it got the sledge (I use a small section of railroad tie instead of a blacksmiths anvil).