Simple tests for vertx