Well did he become a billionaire from hashicorp alone or did he invest e.g. millions in stocks (like perhaps ai stocks) to become a billionaire