If one word had to define what “Doctor Strange” is for Marvel Studios, it would be “gamble.” Marvel had to face a formidable army of…