Added further documentation on the interface between atomic events and speculative objects, including expected deadlock invariants.