Print TotalRuntime at an earlier place, disable BuiltinSum/SpecialSum for now
Make --timeR-quiet the default and add --timeR-verbose as counterpart