Unify flags implied by RelWithDebInfo with Release
"WithDebInfo" implies that it's release optimizations with an extra option to generate debug info. Changing optimization levels to be appropriate for debugging is what "Debug" is for.
Topic-rename: revise-RelWithDebInfo-flags