Added conditional branches and comparison gadgets.

The evaluator has been extended to handle comparisons and conditional branches,
and there are corresponding gadgets. There are currently no predicates that
leverage these new gadgets however.