private ToolOptions saveAndLoadOptions() {
		tool = saveTool(env.getProject(), tool); // saving the tool saves the options
		return loadSearchOptions();
	}
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