Reverts change to checkstyle.xml.
Adds program writer to simplify listing.
Removes unnecessary arguments.
Removes hard-coded check for decimal width.

The maximum width of an integer is determined by the mill (or the store). Since
the mill (and the store) are given at run-time, an out-of-bounds shift will be
a runtime (that is, with respect to the Analytical Engine's execution)
exception.