Improve FromBytes documentation

This PR adds examples to most methods of `FromBytes`, and
separately documents `derive(FromBytes)`. 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.

Author: jswrenn