qc-motoko: Port to new bitops and exercise them (#2327)

Also make sure that Quickcheck's shrinking does its magic here, so that
we get smaller counter examples.