Add sample code to the documentation of the `assertions` tool for converting assertion failures into errors