The Reed Amendment has never been enforced, and isn't likely to be. Unsurprising, since it would require the Attorney General to declare a specific renounciation was for taxation purposes and there's no system for doing that.
OK, that's what I wasn't sure about. I knew what the law says (inadmissible into the United States), but I didn't know about the practical effect.