Option `groups` and `group` exist in verify.py
It is a bit confusing to have two options with different meanings have a very similar name. Yesterday we had a case on this and now, exploring the
config_file branch, I stumbled upon this on the line 29 of
Is it possible to find a better name for that option?
@mguenther: I guess this is up to you.