Pass the transition, rather than array + index.

In these functions, we never actually use the full array of possible transitions, so just pass in the transition we care about.
Add tesla_action().

This function looks at a particular automaton instance and a set of transitions, then figures out what should be done about the instance: update, fork, ignore, fail or panic.
Ensure everything's in the right state here.