Use uint64_t for branch weights instead of uint32_t