fixed custom matchers' generics
more state transition tests for listenable futures