Documentation fixes, some code typo fixes, file perms, other minor things.
Move some regress benchmarks around that took too long, other test cleanup.
Fix sat_proof "parentheses into the void" after conferring with Liana.