Use BILLION instead of many zeroes in wtperf.