Add engine.terminate, update docs