Currently using both DiscordSRV and PremiumVanish on my server. It seems that it hooks properly into the playerlist, so vanished players don't appear on playerlist, but when a user vanishes a leave message is not displayed.