feat: adding the flags for LLVM's bitwise binary operations

[lfrenot]

These changes implement the flags for LLVM's bitwise binary operations;

• nsw and nuw for shl
• exact for lshr and ashr
• disjoint for or.

[tobiasgrosser]

Nice. I guess you need to fix the build and have @luisacicolini do a pass.

[github-actions[bot]]

Alive Statistics: 76 / 93 (17 failed)

[github-actions[bot]]

Alive Statistics: 76 / 93 (17 failed)

[luisacicolini]

apart from some small nits lgtm :)

[github-actions[bot]]

Alive Statistics: 76 / 93 (17 failed)

[github-actions[bot]]

Alive Statistics: 76 / 93 (17 failed)