Thor: Ragnarok Producer Teases Doctor Strange's Role