bugfixes, also make compressed proof errors non-fatal
code cleanup + build