Migrate from `test-framework` to `tasty`

Towards https://github.com/ekmett/lens/issues/1090