Make basicc.js insert much more than 1k documents, fix it to not have to
use a kill command to stop the background thread, which seems to hang
for a long time for no reason sometimes.