server-test: property testing of multiple nodes

Runs a single central server talking to an arbitrary number
of clients and other servers.

Rebase Comment (Marcin Szamotulski):
The introduced test fails now, but this is fixed by the combination of
the following commits, up to:

  server-test: multinode simulation

  Validate connection manager transitions rather than results of
  protocols.