@restaurant-ruble,
You can set up the development locally with the pro version installed without activating the license key. After being ready and will deployed to the live live server you could then use the provided “License Key” and activate the theme.
If you have already activated the license, no worries, you can deactivate on the local and activate it on your live domain.
Regarding, “all-in-one-migrate-plugin” we cannot officially ensure you the process but we suppose this plugin would work well like in most of the migration process.