Port examples to -define-checker
Remove a useless warning

The whole -declare-checker macro is obsolete, so it doesn't make any
sense to mark a single feature thereof as uber-obsolete.
Document that errors are signaled