No need to provide a custom error message when using Code Contracts

Derik Whittaker tells us that for the vast majority of cases, there is very little additional value in specifying a custom message in a contract call as the exception message will have the condition already.