feat(bin/dReach): use real_path to follow symlink in finding SCRIPT_PATH
new cache checkpoint