Are users removed from the oxide and/or Discord group if they are banned from the server or leave the Discord.

Yes, this will handle if a user leaves the discord or is banned.