Updated design doc with new event trace diagrams for normal, not transmitted, and not received. Also updated RdosTester pseudocode.