skip files with only known annotation names

[jakemac53]

Previously we would bail out early for files with no top level annotations, this also skips well known annotations (although it isn't perfect, and assumes people aren't shadowing these names).

[davidmorgan]

Thanks!

Some tests are failing--I guess because they are checking failures and so have no annotation, so the fix should be to add an annotation :) PTAL.

[davidmorgan]

LG, thanks!