Checker tests should also check warnings

[brice-morin]

We need to also test warnings reported by the checker to avoid reporting false positive/negative warnings.

[jakhog]

So basically we just need an annotation, like @checker_should_warn "true", which passes if:

• There are no checker errors
• There are 1 or more checker warnings

Right?

[brice-morin]

Sounds reasonable