include linked-list pointer in the state data structure

This saves us having to do an extra allocation during insertion into the state
set, speeding up checking by ~20%. Checking is still extremely slow, but this is
just an obvious piece of low hanging optimisation fruit.