A question not addressed here is whether there exists any solution to the EU requirement that doesn't suck.

If the same red/green algorithm described in the article is applied to generated code, I cannot imagine how that does not degrade code quality (probabilistically, not at every point).