revert to 1.3.2 PDT Replace
comment out timing code
rudimentary support for unique path output
handle unique filtering inside provers to avoid repeatedly visiting duplicate paths