Optimisation Dropdown Cannot Scroll

A scrollbar cannot be added to the optimisation flag dropdown, because this will cut off the hover-over tooltips about the options (clipping will always occur even if horizontal scrolling is disabled, smh).

To fix this, we would need some kind of react-style portalling, that allows the tooltips to be anchored positionally relative to their labels, but actually attached to the parent div to avoid clipping. Laminar doesn't have direct support for this, but there is a solution proposed on the discord, so long as events don't need to be propagated (which they don't).