NPE if a Required field is null

With this change, getter methods that are annotated with @Required will
throw a NullPointerException if the field is null or missing. This is
motivated by the desire to fail as soon as possible if an invariant is
violated.