[Analyzer] Harden LVP immutability rules and edge cases

[mao2009]

親Issue

#6

目的

LVPの命名規約ベース不変性をv1.0の安定した公開ルールにする。

スコープ

• declaration-time initialization
• reassignment
• compound assignment / increment / decrement
• ref/out
• foreach / using / pattern variables
• local functions / lambdas
• deconstruction
• captured locals
• compiler-generated / special localsの扱い

完了条件

• LVP0001/LVP0002/LVP0003の仕様境界が明文化されている
• edge caseがAnalyzer Testsで固定されている
• 誤検知を避ける例外が明文化されている
• warning/errorの既定severityがSSOTと一致する
• READMEの説明と実装が一致している