Behavior divergence between default() and new() for IsolationToken

It's not a great idea to have default() and new() give different behavior, but IsolationToken gives them differing results. Perhaps we should remove default() and instead create a no_isolation() constructor.