travis: turn on nonnull-attribute on Fuzzit