Use Tasty instead of test-framework
Add some more test cases
Add QuickCheck tests