Code Contracts runtime checking in release; contract failed event handlers