replay bugfix
bugfix replay
bugfix and test for pause()
new halt command + randomize_ids, tests
vignette