Seol mar théacs é seo: Analyzing a Library of Security Protocols using Casper and FDR