Add Vert.x SQL batch size attribute

[trask]

Summary

• capture Vert.x SQL executeBatchQuery batch sizes for stable DB semconv

[Copilot]

Pull request overview

This PR enhances the Vert.x SQL client javaagent instrumentation to capture SQL batch sizes and reflect batch operations in stable database semantic conventions (including span naming and db.operation.batch_size).

Changes:

• Added an optional operationBatchSize field to VertxSqlClientRequest and exposed it via a getter.
• Captured batch sizes in Vert.x QueryExecutor advice for executeBatchQuery and surfaced the value via SqlClientAttributesGetter#getDbOperationBatchSize.
• Updated Vert.x SQL client tests (4.0 and 5.0) to assert stable-semconv batch span naming and the db.operation.batch_size attribute.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
instrumentation/vertx/vertx-sql-client/vertx-sql-client-common-4.0/javaagent/src/main/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/common/v4_0/VertxSqlClientRequest.java	Adds nullable batch size to the request model used by the DB attributes extractor.
instrumentation/vertx/vertx-sql-client/vertx-sql-client-common-4.0/javaagent/src/main/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/common/v4_0/VertxSqlClientAttributesGetter.java	Exposes batch size to the semconv DB attributes extraction via the getter interface.
instrumentation/vertx/vertx-sql-client/vertx-sql-client-5.0/javaagent/src/main/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/v5_0/QueryExecutorInstrumentation.java	Detects executeBatchQuery calls and captures the batch Collection size into the request.
instrumentation/vertx/vertx-sql-client/vertx-sql-client-4.0/javaagent/src/main/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/v4_0/QueryExecutorInstrumentation.java	Same as 5.0 variant: captures batch size for executeBatchQuery.
instrumentation/vertx/vertx-sql-client/vertx-sql-client-5.0/javaagent/src/test/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/v5_0/VertxSqlClientTest.java	Updates expectations for stable semconv batch naming and db.operation.batch_size.
instrumentation/vertx/vertx-sql-client/vertx-sql-client-4.0/javaagent/src/test/java/io/opentelemetry/javaagent/instrumentation/vertx/sqlclient/v4_0/VertxSqlClientTest.java	Updates expectations for stable semconv batch naming and db.operation.batch_size.