Address annotation gaps found by concurrency analysis#5151

marta-lokhova wants to merge 2 commits intostellar:masterstellar/stellar-core:masterfrom

marta-lokhova:staticThreadSafetymarta-lokhova/stellar-core:staticThreadSafetyCopy head branch name to clipboard