The CEO of Tesla has indeed proceeded with the sale of billions of dollars worth of his Tesla shares.