Logic.lessThan[OrEqual], Logic.equalBits

Unit tests for equalBits; needs tests for lessThanOrEqual
lessThan[OrEqual] tests

The more complex ones aren’t hand-verified.  Will have to write more end-to-endy tests with the SAT solver.