Use design by contract to verify correctness

[habedi]

• Use design by contract to make sure that the data structure implementations are correct.
• Could use this library: https://github.com/habedi/zig-dbc