[sledge] Print symbolic state when goal reached
[sledge] Print symbolic state when goal reached

Differential Revision: D39769202

fbshipit-source-id: 5fde1183136e4159be7f6abca246ac4c9b4abe8a

facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer