Implement a kind of binary protocol option over the websocket?

[noonio]

Perhaps we believe JSON encoding over the socket is slow.

Could we do something else? Could we just have a binary websocket protocol? Or switch to gRPC?

I think before doing this, we need some measurements to show that it's necessary.