Add more ortools/util tests, update benchmarks#5172

gchatelet wants to merge 4 commits into

maingoogle/or-tools:mainfrom

add_util_testsgoogle/or-tools:add_util_testsCopy head branch name to clipboard