Add `bit_wise` function simulations#27

InfiniteEchoes merged 3 commits intomainformal-land/coq-of-python:mainfrom

gy@AddBitSimulationsformal-land/coq-of-python:gy@AddBitSimulationsCopy head branch name to clipboard