Google updated site migration documentation to add new recommendations for using the Change of Address tool in Search Console:

• No need to use it if you're just moving your site from HTTP to HTTPS
• Make sure to submit all domain variations & subdomains if you're moving your site from one domain to another