`removeForReorg` has the `EXCLUSIVE_LOCKS_REQUIRED(cs, cs_main)`.
It calls `TestLockPointValidity` which also has the `cs_main` lock annotation and assertion.
This lock assertion would normally be added in commit https://github.com/bitcoin/bitcoin/pull/22677/commits/bb9078ed51159fa162484f16993313ed6cf980e3, but it is useful immediately.