leaveIgnoredSection

Leaves an ignored section for the current thread.

Does not affect the current thread if it is untracked (e.g. not registered in the Lincheck strategy).