Twitter Inc. agreed in June to pay roughly $7 million to the whistleblower whose allegations will be part of Elon Musk’s case against the company, according to people familiar with the matter.