The previous order was causing actual race conditions, see #173.

- Reworked header.

- Reworked header.

- Reworked Header.
- Revised variable name. version -> versionBeforeRuntimeError

- Reworked header.

- Comment to B.2.5 explains that readability and writeability can change
- C.2.1.2 has more details about writeOrder

wip ExceptionHandlingSpec: C.2 ExceptionHandlingDecorator is throwing to implement skipping a transfer

* Added B.1.3 and B.1.4 : boost::numeric::bad_numeric_cast and boost::thread_interrupted are not treated
* Removed B.6 (behaviour for bad_numeric_cast)
* Removed C.2.8 (implementation for bad_numeric_cast)
* Re-numbered C.2.9 to C.2.8. It is the last section in C.2 and did not contain any anchors, so no references need to be changed.

ExceptionHandling spec: explicitly mention what returns true/false means (hasNewData or dataLost) each time

ExceptionHandlingSpec: Finished the proof reading except for simplifying C.2.4. Intentionally left as a single commit to simplify diffing

[wip] exception handling spec: remove A.2.2.5, which has become obsolete due to changes in the TransferElement spec

See B.9.2 of the TransferElement spec