Nullable Reference Types Analysis

Enforce null-safety using compiler-time flow analysis to prevent runtime exceptions.