EventQueue performance enhancement

by immediately removing the event passed to the manager via a
notification, the processing overhead seems to be reduced from about
15ms to 5ms in the case of an automaton of 10 states