Add InnoDB-"much compressed" 64-bit uint; Add tests

Add the InnoDB-"much compressed" (mach_ull_write_much_compressed) 64-bit
unsigned integer format. Add tests for InnoDB-compressed 64-bit integer
formats.