More in-depth test.
Hook up "automata pass" notification.