Note that the compiler is already capable to do that to some extend: it can disable all assertions when finalizing.

--
Eric Bezault