Added log_abort() api
Added log_assert() api
Improved FSM one-hot encoding, added binary encoding
Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v