Disposes this scope and restores the previous terminal state (best effort).
public readonly void Dispose()