The original Thor movie was, in many ways, a risk, which made casting the titular superhero extra challenging for Marvel.