bugfix
better error reporting on compressed proofs