fix(tools/proofcheck/checker/ptree): update error message for branching
fix(tools/proofcheck/checker/intv): increase printing precision