The cuts would dismiss 10,000 workers across every agency.