More work on LCG-based quickcheck and CoArbitrary.