private void verifyStringOptionStillChanged_WithoutUsingOptionsAPI(Options options,
			String optionName) {
		assertTrue("Options does not have an entry for test option", options.contains(optionName));
	}
This test differs from {@link OptionsTest} in that this test is an integration test, pulling
options that have been registered by plugins.
Ghidra/Features/Base/src/test.slow/java/ghidra/framework/options/ToolPluginOptionsTest.java