Extend the Constructor TestModel to validate that a language's code generator generates a constructor for a client that accepts a Dafny client implementation, rather than a native config shape.
Context:
Right now, this TestModel only validates that an operation on the client can return values passed into the constructor.
But in some cases (notably wrapping/unwrapping a KMS client from within a local service), we must create a native client by passing a Dafny client implementation, and not by passing in a native client configuration.
Extend the Constructor TestModel to validate that a language's code generator generates a constructor for a client that accepts a Dafny client implementation, rather than a native config shape.
Context: Right now, this TestModel only validates that an operation on the client can return values passed into the constructor. But in some cases (notably wrapping/unwrapping a KMS client from within a local service), we must create a native client by passing a Dafny client implementation, and not by passing in a native client configuration.