Add random product sorting for WooCommerce. You can set catalog default sorting as random.