and most people are frankly too dumb or lazy to properly verify outputs.

This is my main argument. I need to check the output for correctness anyways. Might as well do it in the first place then.