Suggest replacing this https://github.com/leanEthereum/multilinear-toolkit/blob/43c8955c2ca07c1c64962f190aab38c28e53adbb/src/lib.rs#L11 to p3_maybe_rayon so we can benchmark single threaded code.