Here's a try.
Promising.  Some spurious exception messages...
Added an infinite memoization example.
Added a note about detecting evaluated-as-bottom.
I think I killed the phantom error messages.
Cleanup/modernize TestRace.  I didn't kill the phantom errors.
FRP.Reactive.Unamb -> Data.Unamb
Totally ghetto test harness.  TestRace now terminates after 10^6 in good faith.
Cleanup.
IMPORTANT Changed unsafePerformIO to restartingUnsafePerformIO in Tests.hs

unsafePerformIO + unamb do not get along because of this.  I can't
imagine how to make them.  Maybe I'm missing something.
throwTo -> killThread, to shut up error messages. OBviously this is a hack.
added "hard" tests to perf.  -fforce-recomp in harness