Added new allowed project configuration properties for CodeContracts.