adds random option
code for finding mux candidates
implements almost working strip of latches
adds testability print out
fixes sequential to combinational conversion
adds oracle to crack algorithm; increases threshold for observability test
adds code to check for covers during mux addition
fixes tests