Make isolator deterministic given a rng seed.
Minor fixes to summarization.