- compare thinca's output in "min-instruments" = 1 and 2 modes to known-correct proof documents.
- add a brute-force all-possible-coincs tool and also compare its output to the known-correct proof documents