Several metrics changes#5123

ndr-ds wants to merge 1 commit into11-28-make_notification_and_cross_chain_queue_sizes_grow_with_network_sizelinera-io/linera-protocol:11-28-make_notification_and_cross_chain_queue_sizes_grow_with_network_sizefrom

11-28-several_metrics_changeslinera-io/linera-protocol:11-28-several_metrics_changesCopy head branch name to clipboard