Added function to compare fault-free and faulty circuit response. While this function existed previously, it had to get the full output vectors for both the fault-free and faulty circuits; this new function only looks at the primary outputs that have been marked as being a successor of a faulty node. Also, changed main to call this new function.
Changed function that compares fault-free and faulty circuit response based on marked nodes to take advantage of short-circuit evaulation; when the first differing outputs are found, the evaluation halts.