json-lexer: limit the maximum size of a given token