Snapshotting for eventsourced processors