It's most certainly a bug. When the batter crosses home plate, it counts. The ONLY time they do not count ALL runners on a walk-off HR is if they don't make it all the way around, such as when the team mobbed Ventura. But since there is no mobbing in the game, then it's quite obviously a bug.