SCORU/Node: Replay with simulation may be too expensive
After performance evaluation we may change to a default where simulation is never performed excepted for bounds check (emptiness, max inbox messages).
After performance evaluation we may change to a default where simulation is never performed excepted for bounds check (emptiness, max inbox messages).