Added "sat -prove-skip"
Added FSM test bench