It is currently UB to have assertions enabled in some translation units and not in others. `contract_assert` avoids this. This behaviour seems more than worth it.