Decided to get a third mini (they're back in stock at Temu) to make a hackintosh. This will allow me to perform consistent benchmarking across all three operating systems and all with SHANI (but not AVX512). While libbitcoin does support AVX512, Core does not. This takes away one of our advantages, and (currently) gives Core a significant advantage in that it supports SHANI and BN (currently) does not.
(edited)