Companies using probably-quickcheck