use outs() rather than printf
first try implementing ProvenanceProp using my caching divide & conquer
temporarily don’t disable pass if grappa fns not found (so I can test on smaller prigs)
add flag to disable ansi colors