Improve AsBytes documentation

This PR adds examples to most methods of `AsBytes`, and
separately documents `derive(AsBytes)`. Theoretical soundness
requirements are placed with trait documentation, and the details
of the derive's analysis is placed in the derive documentation.

This PR follows the pattern of #505.

Makes progress towards #32.