Code contract stuff.
Missed.
Few CodeContracts additions.
Properties.cs updates.
Fix up paths.