A server error is not reported to clients when too many peers drop out of a mix

[jrick]

Instead, their connection just immediately closes, and this causes "unexpected EOF" errors which are indistinguishable from network errors.

A nicer server error should be sent to clients instead, before aborting the mix.