Replaced custom BYTE typedef with standard uint8_t definition
Added msbuild target to detect missing Code Contracts.