Verify a migration