Marvel fans rejoiced when Robert Downey Jr.'s return in Avengers: Doomsday was announced—this time as the villain Doctor Doom ...