Use compact integer arrays for state and transition tables.

This makes dictionaries 30% smaller than previously on the web2/web2a.