precondition 0.1.0 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