Checking correctness of md-Fulgor indexes takes too much

[jermp]

Lower the time spent for this check.

[Alessio-Campa]

In #77, the correctness checks have been moved after the storage of the index, mfur has been made multithreaded, and the check tool has been added