Replace leap_asserts with leap_check.
work in progress