Treat sign extension as indicating an offset in address heur.
Put a size limit on the tables cache

Currently hard-coded at a fairly large setting.
Without this, programs with large numbers of large tables can use
unbounded memory. The way the limit is currently implemented
prefers small tables over large, though in a way that does not
correspond to any fixed total cache size.
Also add statistics on the table caches to -gc-stats.