Edward Snowden used the code name “Verax,” truth-teller in Latin, as he made his cautious approach to Washington Post reporter Barton Gellman about disclosing some dramatic state secrets on top-secret intelligence gathering and surveillance.