Added quickcheck tests, removed old tests, renamed tests, removed test-framework-th dependency