Fixed a bug in _array_to_string
Changed the way to compute state diff

Improvement on handling warmup options