also remove an old work-around in CallingThreadDispatcherModelSpec and describe the rules for interrupting in the testing docs