Switch to test-framework based testing

So I can do HUnit as well as QuickCheck easily