The annual holiday movie season, running from mid-November through the new year, usually offers a smorgasbord of worthwhile films—and 2017 was perhaps richer than most. So here’s a little help with the cinematic choices at your local multiplex—or in your living room—over the coming months/