[Checkers] Ideas for reducing verbosity of annotations

[Michael Ernst]

It sounds like both Mahmood and Jeff agree with me that it's better and
clearer to have few defaulting mechanisms.  I had been wondering whether
the more aggressive defaulting (and thus fewer written annotations) would
be attractive to some people.  It sounds like we should wait to hear from
those people rather than implementing it speculatively.

                    -Mike