Following up on #879. ## Progress - [x] ~Write tests which ensure that a malicious use can't introduce variables which are not shadowed by our derive-generated code and cause problems~ - Migrated to [#1684](https://github.com/google/zerocopy/issues/1684) since this doesn't need to block 0.8 - [x] Write tests which assert the token stream output of the derives - Done: #1665 - [x] https://github.com/google/zerocopy/pull/1665/files#r1761803556 - #1683