It's been more than a year and a half since I asked this question and I had a lot of thought about it so I decided I will post my own answer.

First I entirely agree with Yonatan that the main problem is with lemma 3.4. The specific problem that he mentions appears exactly because of the "degeneracies maps" that are added by Voevodsky and Kapranov to their category of diagrams. More precisely, one can, using the degeneracies, construct a diagrammatic sets whose realization will "collapse" because of the Eckman-Hilton argument, and quite interestingly if one modifies their definition so that the category have no degeneracies then this no longer happen (the free $\infty$-category is just obtained by "freely adding arrows" gradually as they assume it behave in the paper). So if one think that degeneracies corresponds exactly to units, this is very encouraging for the Simpson conjecture. I haven't been able to make this into a clear counterexample of the lemma, but only because the lemma actually has other problems that appears before that.


In the end, I believe the main obstruction to their proof is the following: the initial idea to use "generalized Moore homotopy" parametrized by some class of diagrams seems (at least intuitively) to need the following two properties of the class of diagrams: 

1) One should be able to formally "compose" the diagrams (and that it corresponds to pushout of the geometric realization) so that when you look at all the continuous functions $|D| \rightarrow X$ for all diagrams $D$ you indeed get an $\infty$-category.

2) That given two "parrallels" $n$-diagrams, you can construct an $n+1$-diagrams whose source and target are the two given $n$-diagrams, so that if two diagrams shape are used to represents homotopically equivalent $n$-arrows then one can actually have a $n+1$-arrow that represents this homotopy.


It appears that both these properties fails for the kind of diagram (Johnson's diagrams) they are using ! Unfortunately, due to the fact that they actually use a slightly different construction than the one they explain in the introduction, these does not immediately translate into mistakes in their paper.

This being said, they actually seems to use that Johnson diagrams can be composed within the proof of the lemma 3.4 mentioned above, so that it is probably a second reason for which this lemma will fails.

It is not clear to me if (and where) they use the second property somewhere, but I expect some property of this kind should be important in order to prove that the geometric realization of diagramatic sets indeed induces an equivalences with the category of space (and they are extremely imprecise about how this equivalence is obtained, they just says that "one does exactly as for simplicial and cubical sets" !).



For more details (and a third reason why lemma 3.4 fail) I have a very recent preprint (https://arxiv.org/abs/1711.00744) which constructs a category of diagrams that have the two properties mentioned above as soon as you work in a 'non-unital' framework, unfortunately this category of diagrams is a lot more complicated than the category of Johnson diagram (and it is unique so this complication is unavoidable) and this prevent from using the exact same strategy as they do. I discus in details in the appendix of the paper the proof of Kapranov and Voevodsky (this will expand a lot on this answer) and explain some ideas on how to make it into a proof of the Simpson conjecture using the category of diagram that I constructed but there are still some problem that I do not know how to solve. This new version also have the advantage to make the two way of explaining the construction (in terms of generalized Moore homotopies and using two adjunction with a presheaf categories of diagram in the middle) actually equivalent.