Microoptimization - make all the fields of the State structure strict.
This might enable the mutable fields (mutvars) to be unboxed into the structure.
Fix a bug where dbgLvl was checked inappropriately instead of the logger.
WIP: overhauling structure of SetTests
WIP: beginning debugging of the next problem, v1a stresstest