I'm not sure this test is strictly correct, although it may be good enough.

If there are lots of fixed length fields, then the code generator will generate a default max length that is larger than 4096.  I think that just means you are likely to be missing some warnings in unusual cases.