Fix Code Contracts configuration
Cosmetic changes
Code Contracts & property VersionString

Change Code Contracts checks and property VersionString implementation