lj_jit.h: Increase default maxtrace from 1000 to 10000

Larger applications in the wild seem to require larger working sets
and so the value 1000 seems too conservative. Explicit jit.flush() can
always be used by an application to request new code.

src/lj_jit.h

@@ -56,7 +56,7 @@
 
 /* Optimization parameters and their defaults. Length is a char in octal! */
 #define JIT_PARAMDEF(_) \
-  _(\010, maxtrace,	1000)	/* Max. # of traces in cache. */ \
+  _(\010, maxtrace,	10000)	/* Max. # of traces in cache. */ \
   _(\011, maxrecord,	4000)	/* Max. # of recorded IR instructions. */ \
   _(\012, maxirconst,	500)	/* Max. # of IR constants of a trace. */ \
   _(\007, maxside,	100)	/* Max. # of side traces of a root trace. */ \