When word first started circulating that “Thor: Ragnarok” would have a much lighter tone than…