add instructions for Hypothesis

Can start here, where Caspar set it up for risk-and-reliability book.

Include examples for use, too.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information