move boolean to the last production to avoid breaking
the random generation tests
adjust syncheck tests to cope with test inputs
whose size is not known until the test suite runs