Improve caching table:

Improve caching table:
	- uses the first used index as an offset. Allows to store
	compactly tables indexed by 10000, 10001, ... without storing
	the first 10000 that are never accessed.
	- resize automatically if lower offset is accessed

Prevent caching overflow for large automata.