Alignment fixes (soundness)

[simonask]

Fixes #79

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.92%. Comparing base (72aac9d) to head (a2601b9).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #80      +/-   ##
==========================================
+ Coverage   98.73%   98.92%   +0.19%     
==========================================
  Files          22       22              
  Lines        6387     6051     -336     
==========================================
- Hits         6306     5986     -320     
+ Misses         81       65      -16     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.