Remove ability to disable DBC assertions

There's a strong rationale for removing the ability to disable REQUIRE/ENSURE/INSIST assertions:

1. we don't write the code in a way that allows the assertions to be disable;
2. we don't really test the code with disabled assertions