Can you see the following line in your DEBUG log:
Method match for instrumentation VertxTracerReceiveRequestInstrumentation
?
If VertxServerTest is not what you are looking for, look for other tests in the area.
There is also a PR with Quarkus tests, which is not up-to-date but shows that we generally support it, with a small modification required.