[Blocking] and [GenerateSync] go together closely, but not with the other analyzers.
The existing Analyzers/TestAnalyzers split also is practically blocking us from using [GenerateSync] to create sync-variant test cases.
We should move these out to an separate package, perhaps within this repo.