More cache-friendly state representation

[lerboe]

The current implementation uses a dense matrix to store the states/transitions. This most likely leads to many cache misses, slowing down parsing considerably.
I presume that NFAs won't pass verification, but maybe a sparse matrix representation?

• Quantify cache misses
• Try out sparse matrix representation