Brian Peretti, Treasury’s chief technology officer, is leaving the position and taking the federal government’s early ...