Fix StyleCop issues and adding Contract stub class for Mono