Shari Redstone is launching a formal auction of National Amusements, the holding company that controls struggling media giant Paramount Global, The Post has learned.