See if design-by-contract would be worth adding

[jmgate]

Description

Design-by-contract involves specifying pre- and post-conditions for function that must hold on entry/exit. It's an added layer of run-time protection. Investigate tools like the following, to see if it'd be worth adding something like this to the repository.

• design-by-contract
• python-dbc