Changes in version 0.1.0 (2023-03-28)                  

This is the initial release, implementing three types of assertion
checks:

  - precondition() for testing function input invariants
  - postcondition() for testing function output invariants
  - sanity_check() for testing critical internal invariants