Что случилось с контрактами кода?

Контракты на код были повсюду в блогосфере много лет назад, до выпуска .NET 4, компоненты среды выполнения, включенные в .NET 4, и средство статической проверки, доступное в более дорогих выпусках Visual Studio 2010.

Но шумиха вокруг кодовых контрактов, похоже, утихла, люди используют это в продакшене? Выполняется ли какая-либо дополнительная работа со стороны Microsoft Research?