In my opinion, it would be wise to go ahead and complete Form 8822 and mail to IRS. Better safe than sorry.
The instructions for the form say, "It takes 4-6 weeks to process a change of address."
https://www.irs.gov/pub/irs-pdf/f8822.pdf
*** I am NOT a tax expert. I am a seasoned TurboTax user, and volunteer to provide assistance to TT users. Nothing I post is to be considered TAX ADVICE; I bear no legal liability for responses.***
