The right cancellation semantics for trans. ops

- SAOperation+Debugging with -[SAOperation debug]
- Numerous tests cleanups