add Autoskip mode#2

Open

theAlexes wants to merge 5 commits intonetspooky:mainfrom

theAlexes:theAlexes/autoskip

Commits on Jun 26, 2024

factor out the dump-line generation
Alex Maestas
committed
implement a somewhat-workable autoskip mode
Alex Maestas
committed
fix up some textual nitpicks
Alex Maestas
committed
fix up alternating between all-nulls and not-all-nulls
Alex Maestas
committed
force autoskip mode off when doing a postscript dump (immiscible options)
Alex Maestas
committed