No they have not. If they dumped their own cartridge or had the ROM somewhere in their archives, it would be identical to one downloaded from the Internet. The whole controversy happened because someone saw the iNES headers in whatever release of Super Mario Bros was new at the time. Those headers are added by all NES cartridge dumpers, and the creator of this format developed the NES emulator used by Nintendo in Animal Crossing for the GameCube.
They’ve been caught using ROMs downloaded from some ROMs download website, so it wouldn’t be that surprising.
No they have not. If they dumped their own cartridge or had the ROM somewhere in their archives, it would be identical to one downloaded from the Internet. The whole controversy happened because someone saw the iNES headers in whatever release of Super Mario Bros was new at the time. Those headers are added by all NES cartridge dumpers, and the creator of this format developed the NES emulator used by Nintendo in Animal Crossing for the GameCube.