Discord cuts ties with Peter Thiel-backed verification software after code found in US surveillance