Plano de execução incorreto no MySQL 8.0 ao usar JOIN na cláusula WHERE NOT IN

Após uma migração do MySQL 5.7 para o MySQL 8.0.34, temos um comportamento muito estranho com uma consulta quando semijoinestá onno otimizador_switch.

1. A consulta problemática:

SELECT COUNT(s0_.id)
FROM stores_shoppers s0_
WHERE s0_.id NOT IN (
    SELECT s4_.id
    FROM emails_history i5_
    INNER JOIN stores_shoppers s4_ ON i5_.shopper_id = s4_.id
    WHERE i5_.rule_id IN (1517676 , 1517677)
)

Neste caso este é o plano de execução:

O problema é que o tipo i5_JOIN é ALL, nenhum índice é usado no JOIN.

2. Com apenas um valor na cláusula IN:

Se a INcláusula na consulta incluir apenas um valor:

SELECT COUNT(s0_.id)
FROM stores_shoppers s0_
WHERE s0_.id NOT IN (
    SELECT s4_.id
    FROM emails_history i5_
    INNER JOIN stores_shoppers s4_ ON i5_.shopper_id = s4_.id
    WHERE i5_.rule_id IN (1517676) -- only one value
)

O plano de execução passa a ser:

Neste caso, o JOIN usa um índice mas o plano de execução ainda é diferente do plano de execução que temos no MySQL 5.7

3. Usando i5_.shopper_id em vez de s4_.id (que deveria ser idêntico)

SELECT COUNT(s0_.id)
FROM stores_shoppers s0_
WHERE s0_.id NOT IN (
    SELECT i5_.shopper_id -- using i5_.shopper_id instead of s4_.id
    FROM emails_history i5_
    INNER JOIN stores_shoppers s4_ ON i5_.shopper_id = s4_.id
    WHERE i5_.rule_id IN (1517676 , 1517677)

Neste caso, o plano de execução é o mesmo que tínhamos no MySQL 5.7

4. Com semijoin=off

SET optimizer_switch = 'semijoin=off';
SELECT COUNT(s0_.id)
FROM stores_shoppers s0_
WHERE s0_.id NOT IN (
    SELECT s4_.id
    FROM emails_history i5_
    INNER JOIN stores_shoppers s4_ ON i5_.shopper_id = s4_.id
    WHERE i5_.rule_id IN (1517676 , 1517677)
)

O mesmo plano de execução de antes.

Questões:

Alguém pode me explicar o que está acontecendo?
Isso é um bug no otimizador?
Por que a junção não usa índice na primeira consulta?