refractor, change cycle identification

Major changes:
- compute cycle id (cycle minimum) in parallel to future state
- skip computation of cycle stats for non-canonical cycles

Minor changes:
- move computation of several arrays around to improve locality and
  reduce random memory reads
- distinguish between State and StateIter: the later can contain
  maxState + 1 and is used in loops and as pointer.
- rename maxState to numState, add acutal maxState
- time performance of memory allocation

0 files changed, 0 insertions, 0 deletions