A senior Android security leader is leaving Google after criticizing its Pentagon AI work, environmental commitments, and ...