Janet Tavakoli wrote the book on how credit derivatives can be used and misused. Michael Burry of The Big Short told Congress her book clarified the trade.