Revert "Disabled code contracts."

This reverts commit 861b8ed01844428b3389b5cf34bb3f63f8363531.