It's irrelevent whether the runs would have scored on a single.
The ball got past F9, so it's clearly at least a double. The rule for game-ending hits actually limits the value of extra-base hits by how many bases the winning run advanced - it doesn't give them more than they deserve. The batter wouldn't get a double if they took second on a throw home.
