Validate integer casts for truncation

[philipc]

We should use clippy::cast_possible_truncation to audit for truncation. This probably matters most in the write module where we support both 32-bit and 64-bit in the same code, so many values are u64 before writing. Also for table counts where we start with usize and often the file formats only support u16 or u32.