Optimize C++ generated code to skip condition checks for unconditionally present fields

As discussed in PR #241, we should optimize the `Ok()` method generation to skip `if-block` wrappers for fields that are unconditionally present (where the condition is statically known to be true).

This reduces the size and complexity of the generated C++ headers, but introduces golden file churn which makes it better suited as a separate issue and PR.