Implement parallel QuickCheck using pqc