1. Debugging features, like in the Spirit Library. e.g. easy naming of states, tracing the event route, more debug output (verbose mode)

I'll see what I can do, however in any case this will definitely not make it into the next release, as other stuff is already pending.

I'd like to join this request -- it would be really great if we could trace an event route. Sometimes I find myself debugging rather complex async FSMs deep inside Statechart templates, just to find some little stupid mistake in my reaction definitions...