RedSeal Certifies That Your Evolving Network is Secure