cargo: quickcheck is a dev-dependency