Removed code contracts for Release in all proyects according to VS2010 output.