Add --snapshot-only and --compare-snapshots to prove-incremental-append, fix EXIT trap status, wire prove smoke into CI, and document LFG closure plan.
