Randomizing multi-product formulas for Hamiltonian simulation