An Onsager Singularity Theorem for Leray Solutions of Incompressible Navier-Stokes