unified-trace replay: timer-prim causes nondeterminism

[daumayr]

see Validation.Sequence benchmark for an example. Replay can't distinguish the two callbacks from the timer prim. Sender and Resolver of the PromiseMessage is the same, SourceSection information would allow to distinguish the two callbacks but is optional. Can be solved by making sure the timer-prim resolves promises in the right order.