mmt: wrap tl_assert* macros for additional logging