I've been working my way through L. Baulieu's excellent paper [Perturbative gauge theories, Physics Reports, Volume 129, Issue 1, December 1985, Pages 1-74]. Towards the end, he goes on to prove that renormalized Yang-Mills theories that are BRST invariant exhibit gauge independence and unitary. At the end of the proof he states:
One should note that we have implicitly assumed in this demonstration the existence of the S-matrix, i.e., the applicability of LSZ reduction formula [...] the proof is only valid when all gauge bosons are massive. Whenever massless gauge bosons are present in theory, all our arguments become formal.
In the case of QCD, the gluons are massless, so does the LSZ formula not apply to QCD? Is there a formal argument that proves gauge-independence as he suggests?