Fix WebSocket varint length encoding