change the way that abort works - callback immediately.
callback immediately on abort
update interleavings
documentation
2.0.0