* Generalize trait requirement

Use the trait directly instead of something that will have a blanket
implementation for it.

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Charge for proof size weight

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Fix doc comments

Co-authored-by: joe petrowski <[email protected]>

* Fix docs

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Update lock file

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Fix imports

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Docs

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

* Fix imports

Signed-off-by: Oliver Tale-Yazdi <[email protected]>

---------

Signed-off-by: Oliver Tale-Yazdi <[email protected]>
Co-authored-by: joe petrowski <[email protected]>