NullValueAnalysis: Register result of default() expressions.

NullValueAnalysis: Register result of default() expressions.
Detect constant conditions in conditional expressions, such as 1 == 1 ? Foo : Bar
UseOfMemberOfNullReference: Exclude Nullable.HasValue member.
Enabled some ignored unit tests.