MCL is potentially way faster than libff We should try MCL, and if it works faster, move to it for Mirage