synth_design is a TCL command used to run synthesis within the Vivado tool and typically is run with multiple options.
"-verbose" is one of the synth_design options and is found to have not been working correctly in all circumstances.
The -verbose switch option returns all messages (i.e., every message) during synthesis and overrides any message limit if present.
Currently, the override of message limits is not working correctly. As a result, it would be better to ignore this switch for now until this issue is fixed completely, at which time this answer record will be updated.