A year ago, credit derivatives tied to individual companies didn't exist for many high-grade Big Tech issuers, but now they are some of the most actively traded U.S. contracts.