“Thor: Ragnarok” is the franchise’s full-flip dive into comedy mode, despite the storyline based on the fabled end-times apocalypse of the Norse gods.