Document Arbitrary trait

Requested feature: Provide documentation of the Arbitrary trait (https://model-checking.github.io/kani/crates/doc/kani/trait.Arbitrary.html)
Use case: Users trying to understand how to use and implement the `Arbitrary` trait.
Link to relevant documentation (Rust reference, Nomicon, RFC):
