Add a linter for debug information (-g)
There are some sanity checks we can do.
For example if you see the following Cmm:
unwind Sp = Just Sp + 16;
Sp = Sp + 16;
unwind Sp = Just Sp + 64;
You can tell that it's wrong because it's clear how Sp
changed between the two unwind points.
I think this would fit well with the Cmm linter.