As a follow-up to #38 and #87, there might still be quite a few more opportunities for avoiding zero-/sign-extensions in the respective check.
Feel free to let me know if you are encountering one (or if a check is wrong), and of course to improve the checks within a PR :)