Add tests for leap_assert*