>Производительность, кстати, сравнима с С только в случае генерирования окончательного кода, но там, сюрприз, эти славные require и ensure частично отключаются, так что смысла в них маловато на самом деле.

Это и не удивительно, ведь проверка инвариантов, пост- и предусловий требует определенных временных затрат. По оценкам, при мониторинге контрактов теряется примерно 25% скорости по сравнению с отключенными проверками.