We can't have nice things because we can't agree on
what the nice things are.  I was somewhat involved
in discussions about C++ contracts while I was at
Bloomberg.  There are opinions ranging (I first wrote
"raging", and that's not wrong either) between having
contracts always be checked without the ability to
disable them, and allowing the compiler to assume that
contract conditions are always true in order to better
optimize code.