Among the biggest animated movies of 2023, "The Super Mario Bros. Movie" and "Spider-Man: Across the Spider-Verse," both of which hail from non-Disney animation houses, rule over all other titles ...