small package Design By Contract in Python 3.x, with REQUIRE (precondition) and ENSURE (postcondition) functions