In a rare move, “Thor: Ragnarok” was made way longer (and funnier)