Making Spider-Man: Into The Spider-Verse was really damn hard—who knew?