See [1]} for the conventions used in this paper. In Section  we prove entropy drop near non-generic singularities and we use this to prove Theorem REF  in Section . Appendices  and  recall some standard stability results. In Appendix , we discuss how the arguments here relate to generic regularity of area-minimizing hypersurfaces in eight-dimensions.
