I don't necessarily think they would ban Auto-Hotkey users but rather people who are playing WoW while it's in the background. Playing WoW without it being the active application indicates you aren't really playing WoW, instead you are doing something else and not watching the game.