The point that the Unison people make is that it is useful for inspiring and evaluating heuristics which certainly makes sense in an AOT context but then decide

The point that the Unison people make is that it is useful for inspiring and evaluating heuristics which certainly makes sense in an AOT context but then decidely not in a JIT context. How do you validate these optimizations? Dunno, I'd recommend looking at Agner Fog's benchmark tools. But torturing the optimizer to make a test suite number go down will eventually end in tears.