Is the “87,000 IRS agents” claim real — and are immigrants actually “stealing billions” from taxpayers? In 30 seconds we cut through the headlines: what the Treasury estimate really meant, how funding was meant for auditors, IT and support staff