I'd say don't ban, but give them a very severe warning. More then likely, the fear of being caught if they tried it again, coupled with the fact that they'd lose a character that a lot of their time has been invested into would cause them to stop macroing. I'm not saying they're above the rules, but a severe warning could serve the same purpose (having them stop macroing) as a ban.