Add QuickCheck for Zp