Increase maximum token size to 10K so we can support sequence searching

Change-Id: Ia5044e6596137962e07ef06bcd17ee3e2d0201d5