bugfix: race in sync2.BoundedRWLock

See commit message for more details.