hxstream: use ivory-quickcheck lib.