Lint+format in CI, not on commit

Commit should be fast. Don’t make me wait. Lint+format needs to be in CI regardless so let’s limit the speed bottleneck to being purely on PR CI.