print out (possible) conterexample at error/blame message
Merge pull request #20 from philnguyen/eval-counterexample

print out (possible) conterexample at error/blame message