Try to fix divergence due to task-shutdown futexes.

This isn't a real fix, but papers over the underlying bug(s).

Resolves #386.  Resolves #387.