Added selection of most violated constraint to recipe.verify()