Enable contracts runtime checking