Fixes a few bugs in compression

- Prioritise will now correctly offer events not in the union of its
  parameters.
- Chase will now no longer spin on livelocked processes, instead
  converting livelock to deadlock (assumes that 1000 iterations
  indicates livelock.
- Both chase and prioritise now persist after transitions.