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
fix(bin/dReach): have better output messages
chore(.mailmap): update & clean up
fix(ode_solver): polarity check for invariants was succeeeding for negative invarinants