Есть ли действительно много альтернатив? Я не слышал о многих. Существуют и другие AOP-фреймворки, и есть такие, как Spec #, но я не сталкивался со многими проектами, такими как Code Contracts.
Учитывая, что он активно разрабатывается Microsoft, интегрированной в Visual Studio, с основными классами контрактов в составе .NET 4, я бы согласился с этим, если у вас нет действительно веской причины использовать альтернативу.
Для меня самым большим недостатком Code Contracts является то, что статическая проверка доступна только в Visual Studio Premium / Ultimate.