feat(types): introduce state diff record type and compression (#194)

# What ❔

Introduces the `StateDiffRecord` type and advanced compression for this
type.

## Why ❔

In boojum, all storage writes will be replaced with `StateDiffRecord`
types. In order to cut down on the number of bytes published to L1 we
want to compress this data as much as possible.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

---------

Co-authored-by: Yury Akudovich <[email protected]>