Migrate from tasty to test-framework

... because I find it simpler to understand the relationship between
tasty and its providers, compared to test-framework and its providers