Removed Code Contracts and replaced with vanilla validation code.

Improved example project