Improved highlight *manyDocs tests (fvh and postings) to have random refreshes, flushes and optimizes using indexRandom