#526 Add controlled system state space size as statistics option

• Add it as a statistic. Enabled by default.
• Normal output now, no longer debug output. Still separated from debug output as before though.
• No more extra indentation to match debug output. (similar to other statistics)
• Updated benchmark script, updated/added tests, updated/added documentation.

Best reviewed per commit.

Closes #526 (closed)