Explain why keeping DynFlags in AnalEnv saves allocation.

I assumed at first it would be more efficient to pass the DynFlags around explicitly.

This turned out to regress allocations because there are so many places where we capture them. Maybe with a lot of effort we could eliminate enough thunks to make this worthwhile.

But for now I'm just adding a note why it's the more performant approach.