Create a framework for testing the performance of various encoding methods.

[Kukovec]

In addition to correctness testing via unit- and integration tests, we need to be able to evaluate how different approaches (e.g. interleaving vs flat set-cherrypick) affect performance.

[shonfeder]

Is this something we could/should use the framework in apalache-bench for?

[Kukovec]

Well, first we need to have a discussion regarding what we consider to be a metric for performance. But ultimately, probably.