“Even if the entire sum were to be stolen by federal employees and spent entirely on fast cars, fancy homes, gambling junkets and fancy clothes, it would still be an $800 billion increase in the demand for goods and services — a pretty good working definition for economic stimulus. The only question is whether spending it on other things would create more long-term value, which it almost certainly would.”