test: use "solver" instead of "dReal" in tests
feat(bin/dReach): use real_path to follow symlink in finding SCRIPT_PATH
new cache checkpoint