[sanitizer] in bitvector-based deadlock detector split onLock into onLockBefore and onLockAfter hooks