Upgrade to `tasty` 0.8

In 0.8 test that raised exceptions are included in failures. This commit
makes sure test failures and test errors are discerned.