[CSSimplify] Relax transitive conformance check
`ModuleDecl::lookupConformance` defaults `allowMissing` to `false`
which is too restrictive for the solver because we need to accept
missing but synthesizable cases and filter them later via solution
ranking.
