Ensure checksums and counters match between carState and safety

A counter or checksum can be defined in just the DBC (and checked or set in the CANPacker/CANParser) but not in the respective safety mode. Or vice-versa.

Let's setup a test to ensure they match (including the full range) and fix any mismatches.

Start by locating the carState definitions, DBC entries, CANPacker/CANParser handling, and the corresponding safety modes. Compare which counters and checksums each side defines or checks across their full ranges, then run the new consistency test. Done means the test passes and any reported mismatches are corrected.

Written by the indexing model from the issue text.