Check for uninstrumented modules in spawns
Clock vectors are now orddicts
Yet another fix for the weak-source-set test

If there is a race between A and B, weak sources are all processes that are
enabled together with A, their first instruction is not in race with A and they
*could have run* between A and B (essentially, they are not always in the sleep
set).
TEMP: Instrumenting