WL#11139: Remove group_replication_allow_local_disjoint_gtids_join option

Affects: Server-8.0   —   Status: Complete   —   Priority: Medium

In MySQL 5.7 we deprecated
group_replication_allow_local_disjoint_gtids_join option at WL#11138.
This worklog tracks the work needed to remove this option in 8.0.
REQUIREMENTS
============

FR1. Option group_replication_allow_local_disjoint_gtids_join must
     be removed
User Visible Changes
====================

  - Option group_replication_allow_local_disjoint_gtids_join will be
    removed.
  For example:

  mysql> SET GLOBAL group_replication_allow_local_disjoint_gtids_join= 1;
  SET GLOBAL group_replication_allow_local_disjoint_gtids_join= ON' failed:
1193: Unknown system variable 'group_replication_allow_local_disjoint_gtids_join'

Upgrades
========

The option will be not available.

Security
========

There are no security considerations.

Observability
=============

There are no observability considerations. The option will not be
available.
LOW LEVEL CHANGES
=================

1. Remove the option.

2. Validate that the option was removed.