Updated project file name.
Code contracts and ReSharper tweaking