Another thing that @RalfJ and I were discussing was adding debug_assert checks for things like "access through unaligned reference" -- basically a "cheap and easy" sanitizer-type check that is "always on". This wouldn't really make sense to do until we've defined the validity invariants, I guess, but maybe that should be something that we try to look for during that discussion? Which things could/should be automatically checked?