yep, that's what that stuff is about
also, the newer version of test.check has a more flexible API that would support some kind of library for giving more information about what failed
cool! I will tinker around that later