Refactor logs to use worker verticle for direct file logging.
Refactor annotations to automatically extract state from state machines.
Update annotation documentation.