[GR-47647] [GR-47928] [GR-47692] Fix and improve experimental option handling.#7222

Merged

graalvmbot merged 6 commits intomasterfrom fniephaus/GR-47647/experimental-options-improvements

Aug 17, 2023

+114-48