This also moves `#[auto_{en,de}code]` checker from syntax to lint.