Use mimalloc as default allocator (#7140)

From https://github.com/microsoft/mimalloc:
> In our benchmarks (see
[below](https://github.com/microsoft/mimalloc#performance)), mimalloc
outperforms other leading allocators (jemalloc, tcmalloc, Hoard, etc),
and often uses less memory. A nice property is that it does consistently
well over a wide range of benchmarks. There is also good huge OS page
support for larger server programs.


Release Notes:

- Changed default allocator to mimalloc.
59f77d316fAres Andrew committed on 1/31/2024, 5:50:37 PM· committed by GitHubparentb7ced39
3 files changedLine totals unavailable