And yes, that the N-body problem is chaotic.
Of course, when you're talking about a civilization building 416 equal-mass planets equally spaced in 8 counter-rotating orbits, worrying about how stable they are is kind of silly; as long as they're "mostly" stable the maintenance of monitoring and tweaking their orbits for a billion years would presumably both be feasible and cheap compared to the initial construction.
That said, the longer you simulate those orbits, the more certainty you have that they are stable. But you will never get a mathematical proof, because only symbolic math can ever prove things in a chaotic system, finite precision math can only deal with statistic degrees of certainty.