I've already run into several cases where I've wondered why a method had no contracts on it (they were inherited from an interface). Having them automatically listed will definitely be a big help.

 

The xml documentation is also sure to be useful for MSDN, but having contracts show up in intellisense tooltips would be much handier.