Order data-based synthesis statistics option values
Here the order is max nodes, continuous nodes and cache. This is not consistent in all places. Is there a reason for that?
I was not happy with the current order of things. I noticed that
SynthesisStatisticswas not in alphabetic order, but I could not determine which order rule has been used. So I just did some random order for what I added.
If you want, I can make everyting alphabeticly ordered (including the documentation).