changes mainly for debugging output, also function for more efficient strict implementation that is not working
change to skip part of conflict recursion during strict consensus, avoids many function calls, but often negligable speedup