Found and fixed "mixed decimation style failure" bug.
QuickCheck test suite now passes with no constraints on test value generation.