fix(tools/proofcheck/proofcheck.sh): fix dreal path
fix(tools/proofcheck/checker): increase interval output precision
fix(tools/proofcheck/checker/ptree): improve branch exception explanation