nix-cleanup

CI workflow checks and code cleanup tools