QuickCheck for Coq using Extraction