Document write_post_quantification_cleanup.

Part of the quantifier API.