added one quickcheck test to test-partition