docs: pytest and hypothesis recipes

[charles-cooper]

include:

• [ ] basic fuzzing
• [ ] document boa.test module, including hypothesis strategies
• [ ] link to eth-stdlib strategies?
• [ ] contracts should generally be module-level fixtures (for performance)
• [ ] state machine examples

[charles-cooper]

also document @boa.fuzz()