7,000 IRS workers ‘reinstated’ — but not yet returning to work