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