update todo list
make nfa_exec_start clean up any existing state

This means you can re-use an NfaMachine to match a new sequence by calling
nfa_exec_start again (you don't have to nfa_exec_free and nfa_exec_init
just to wipe the machine).