by default, use a constant random seed
so that qcheck tests are repeatable