QCheck: nicer output (with time and number of failures and unicode);
also, infix operator for arbitrary ints