run 100k random rounds by default

tests/randomcheck.c

@@ -84,7 +84,8 @@ static void print_bitcount(void)
 
 int main(int argc,const char *argv[])
 {
-    rounds=20000;
+    /* 100k rounds by default */
+    rounds=100000;
     if(argc>1)
     {
         rounds=atoi(argv[1]);