Adding EXIT/ENTRY block calculations, fixing bugs, cleaning up code. MySolver now passes fully on both Test and TestTwo for both Liveness and ConstantProp.