coqPackages.QuickChick: init at 1.1.0 for Coq 8.9
coqPackages.QuickChick: init at 1.1.0 for Coq 8.9

Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs