The module already offers a "Node access is revoked from a user" trigger, but offers no way to send an email notification to the user whose access is revoked.

I think we should look to Ubercart's uc_roles module for inspiration. It offers not only "Email for revoked roles" but also "Email for role expiration reminders".