Disabled Assert on Failure, and re-enabled Pre/Post conditions for Code Contracts.