finished eval_micro_sequencer() and briefly tested next_state update