Add examples to hypothesis which test error cases

[malramsay64]

Use the @example syntax to add explicit examples.

This is partially to ensure the coverage of the module remains high.