Setup HUnit testing with tasty
setup QuickCheck testing