Use tesla_assert() properly!

This change is originally from the TESLA P4 branch.
Automata names live in struct tesla_automaton now.

This change is originally from the TESLA P4 branch.
Fix DTrace probes.

Our DTrace probes have apparently not kept in sync with changes to the event handling signatures.

This change is originally from the TESLA P4 branch.
Merge branch 'master' into explicit-init-cleanup