Added graph of SocketThreads state transitions.

This graph has been used for #560.