Vorticity and regularity for flows under the Navier boundary condition