It would be nice if you could also eliminate other assertions if they aren't
checked for any classes.  The biggest win for us would be if code to check
postconditions, invariants and check assertions was not emitted in finalized
mode if no class requests this level of checking.  I think it would make our 
executable significantly smaller.  We run in production with preconditions on
for some of our more critical applications.

Even better if you could eliminate generation of assertions selectively in
finalized mode, but for most cases skipping generation of a particular type
of assertion such as postcondition if no class requests postcondition 
monitoring would be good enough.