IRS litigators not bound by innocent-spouse determination