The binary fails if the fibril is synced implicitly over its
destructor. It appears that after membar(doSync()), the base pointer
is wrong, causing the subsequent "reverseStealCount = 0" in
syncWaitFree() to write to unallocate memory. I am not sure yet why,
but this works around the issue.

This also refactors a bit when we take timestamps.