feat: Add provider download to state migrate command, including updating the dependency lock file post-migration.