Restore the dilithium-mining test