I find it worrying that you take so lightly on basic correctness.
Asserts are entirely probabilistic in nature. What you are
arguing for is a regime where a single bad assert can result in
the user's disk getting wiped even though you had protections in
place in the code without asserts that would have prevented it.
That is horrible.
With 500 asserts and a 99.9% chance of a single assert not
contradicting the program you have ~40% chance of having
contradictions.
I guess that makes D a @safe language...