In test/format, split out the session configuration from isolation: the latter is used to write RUNDIR/CONFIG.