Replace Runtime `assert` Statements with Controlled Checks and Exceptions