[core] Upgrades size_t to uint64_t. Fixes bugs in ZipfianGenerator.