Apparently `System.Random` is very slow. `mersenne-random-pure64` is a vastly faster random number generator (with high quality). The AUR package is woefully broken (it depends on exact package versions that have come and gone).