* Remove useless T: AsRef<[u8]> constraint in Lemma.
* Introduce a custom `Hashable` trait instead of requiring `AsRef<[u8]>`.
Since not every type can implement `AsRef<[u8]>`,
this commit removes that constraint, and requires instead
that values implement the `Hashable` trait.
A default instance is provided for types that already implements `AsRef<[u8]>`.
* Update documentation.
* Add a Protobuf test with custom struct and Hashable impl.
