Demote checked pre-conditions to assertions.