When Disney acquired Marvel back in 2009, there was a lot of speculation as to what it would mean for both companies. Would superheroes be found at Disney parks? (Yes, though mostly at Disneyland.) Would Marvel movies now include musical numbers? (Probably not.) Was Mickey Mouse going to join the Avengers?!? (I would pay to see…