The seventh revision

[habedi]

• Fixed a lot of bugs.
• Added more tests (integration, unit, and property-based).
• Added issue templates.
• Refactored the Python bindings into smaller, more manageable modules from a single lib.rs.
• Made sure all the linter checks pass without error.
• Added more tests for the Python bindings.