quickcheck style search for inconsistencies

please try with a bigger max-tries under full chez scheme