Replace leap_asserts with leap_check.