drt: make check_drc into a hidden command (issue #8123)#8130

maliberty merged 1 commit intoThe-OpenROAD-Project:masterThe-OpenROAD-Project/OpenROAD:masterfrom

The-OpenROAD-Project-staging:drt-hide-check-drcThe-OpenROAD-Project-staging/OpenROAD:drt-hide-check-drcCopy head branch name to clipboard