Fix formal verification

[ChristopherRabotin]

TODO:

• Actually fix the kani run
• Add kani as artifacts for publishing in the documentation

[codecov-commenter]

Codecov Report

Base: 79.32% // Head: 79.32% // No change to project coverage 👍

Coverage data is based on head (dc9ab0e) compared to base (9c99695).
Patch has no changes to coverable lines.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #179   +/-   ##
=======================================
  Coverage   79.32%   79.32%           
=======================================
  Files           9        9           
  Lines        2588     2588           
=======================================
  Hits         2053     2053           
  Misses        535      535           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.