Add support for bitwise operations over ints to CakeML

Consider adding support for [these SML operations](https://smlfamily.github.io/Basis/int-inf.html) to CakeML.

The CakeML semantics for these operations can probably be based on [these definitions from HOL](https://github.com/HOL-Theorem-Prover/HOL/blob/develop/src/integer/int_bitwiseScript.sml).

With these implemented in CakeML, one could add word operations to Candle's cv_compute.

See discussion on veriferium channel in Discord on 21 Oct 2024.

Start by reviewing the SML integer bitwise operations linked in the issue and the corresponding definitions in HOL's int_bitwiseScript.sml. Determine how these operations fit into CakeML semantics and how their implementation would enable word operations in Candle's cv_compute; done means the requested operations are supported and usable there.

Written by the indexing model from the issue text.