Mealy ElevatorController Testbench