Convert CertState to a type family (#4861) Resolves #4693 Co-authored-by: Alexey Kuleshevich <[email protected]>

Convert CertState to a type family (#4861) Resolves #4693 Co-authored-by: Alexey Kuleshevich <[email protected]> #17263