migration: convert exec backend to accept MigrateAddress.