(random-data): more efficiently collect random seed; correctly reset pool to an empty digest; correctly collect SHAd-256 of the pool
(random-data): more efficiently collect random seed; correctly reset pool to an empty digest; correctly collect SHAd-256 of the pool

froydnj/ironclad,sharplispers/ironclad,eadmund/ironclad,glv2/ironclad