Re-implement binary arithmetic with `bit-ops` library

["the Phoeron" Colin J.E. Lupton]

Both performance and accuracy can be significantly improved by re-implementing the binary arithmetic algorithms directly using the new bit-ops library. This will also make it easier to work with signed integers, and other arbitrary binary structures, encoded as bit-vectors.

CC: @guicho271828

["the Phoeron" Colin J.E. Lupton]

See the Binary Arithmetic on Variable-Width Bit-Vectors project.