Visit *all* Anneal annotations to reject them in invalid locations

Currently, we only visit AST nodes where we might find valid Anneal annotations. Instead, we should visit *all* AST nodes so that we can either warn or error on Anneal annotations in locations where they don't mean anything.