Ensure verticle isolation and consistent execution context for vertxStop(). Add debug messages throughout