added a key for disabling SMT's trail in tests/trail
removed a bunch of old shit
incremented the release version