Bias bitwidth of integers towards 4 and 8 bits first
This makes counterexamples easier to read, and has a small performance impact.
No change in correctness criteria.
Patch by David Menendez.