Clean up `CheckAtt` #4070

Job	Run time
Version Sync	8s
Nix flake (self-hosted, linux, normal)	6m 4s
Nix flake (macos-13, macos-13)	18m 31s
Nix flake (MacM1, self-macos-12)	25m 47s
Check code formatting	1m 18s
K Tests	1h 2m 48s
K Ubuntu Jammy Package	51m 59s
Performance Tests	11m 46s
	2h 58m 21s

Provide feedback