Presidente e CTO da Arista Networks vende US$ 7,8 milhões em ações