A testing framework for Stata's Mata language