Uniform bounds and the inviscid limit for the Navier-Stokes equations with Navier boundary conditions | Synapse