Clean up unused code.
Propagate thread exception.
Do not cache ZDD size.