Add codegen TCK case where the vertxgen interface is not concrete