fixed check_deterministic bug
added status printing to stdout and a line if no nondeterminism is found. @scopatz this should be ready, unfortunately to get meaningful status, I had to access private members of the  class. Please inform me if this is poor form in the present case.