The $886.3 billion defense budget is headed for President Joe Biden’s desk and Congress is headed home for the holidays, its business concluded—albeit not finished—for the year. Here are 10 key measures in the mammoth bill.