Various fixes and improvements

Most notably the implementation doesn't use config variables for
timetravel any more.