We did hit on irreducible complexity and edge of evolution a lot. That is because Mike did not accurately present the status of those arguments, and his devolution case depends on both these two arguments being correct.
As for the new argument, he rules out anything but Darwinian processes being useful from the get go. He makes several important omissions. We point out several examples that counter his case, but there are more. The strange thing is that he seems to think Lenskis experiment is a good demonstration of his law, but Lenski’s experiment does not extrapolate to macroevolution. It’s designed to test other things.