Luke Palmer has some encouraging early results with a custom scheduler that implements unamb.  I don't know how it deals with termination of redundant computation and whether it falls afoul of the problems I'm having with the various race implementations floating around.  I also don't know how much of the problem that Luke is solving comes simply from the failure of my race implementation to kill threads recursively.