Add ScalaCheck 1.11.5 to nix build