Fix size-checking of dumped redundant clauses and fix error printing

Thanks to Martin Maurer for spotting these!

Fixes #126