401k administrators are required to discount any 401k payout by an estimate of the amount of tax you would owe including the 10% penalty. So if you cashed out $100,000 you'd likely only received a check for about $60,000. The rest would go directly to the IRS and if that made you pay too much you could get your refund the following year.

The IRS always get paid.