Coral death unaffected by randomTickSpeed gamerule

The bug

Coral death does seem to be random, since if you place down multiple blocks in a row, they'll die in a different order. However, setting the randomTickSpeed gamerule to 0 doesn't stop them from dying, and setting it to a higher number does not cause them to die faster.