Make token limit bigger to avoid issues while parsing long regexp.

Maybe 10000 is such a big number, but it is big enough as a simple patch until long lines are handled better.