Remove some dead test code
Add postconditions to the piece properties

These contracts ensure that only the proper bit values are
returned in the results.