Changes regarding code-contracts and acceleration of output window

* Code-contracts enabled again.
* Repeated acceleration of output window, as Xamarin damaged solution
von Visual Studio.