Switch over to cout for all of our printing, coincidentally clearing up any problems
with the printf format for uint64_t