Random sampling is available when building with `-DRANDOM_SAMPLING', or with `make randsampl'. The sample counts are rather low, so the output is both slow and noisy, which is why it's disabled by default.