Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies