Drop `tags` from checks/procedures

[evgeni]

Now that we got rid of the magic find_checks, we can go and remove the tags feature from the DSL so that it doesn't creep up on us again at some point.

Originally posted by @evgeni in #856 (comment)