Adapt quickchecking to QuickCheckUtils
Adapt quickchecking to QuickCheckUtils

flowbox-public/binary,x456/binary,flowbox-public/binary,ezyang/binary,fpco/binary,basvandijk/binary,bergmark/binary,beni55/binary,beni55/binary