Problem: No way to insert arbitrary message tracing functions in server.
Solution: Accept optional send_tracer and receive_tracer properties in server model.