protected void hoverVertex(AbstractTestVertex v) {
		ensureVertexVisible(v);
		moveMouse(v);

		waitForSwing();
		if (!v.isHovered()) {
			fail("Attempted to hover vertex, but it was not set to hovered: " + v);
		}
	}
Focuses the given vertex, which means to trigger it to be picked/selected in the UI, 
causing it to be the focused vertex of the graph.

@param v the vertex
Ghidra/Framework/Graph/src/test.slow/java/ghidra/graph/viewer/AbstractVisualGraphTest.java