Generating a random rule for property based test...

?SUCHTHAT vs ?IMPLIES in quickcheck...

Prevent eunit from timing out when running Triq tests...