Checksums

You can write this as `tlog_coll # log_value_explicit i value ~validate false None >>= fun () ->`
note the `~validate` and `>>= fun ()`