mldsa_ctrl sends last data to keccak in state func_start

[cbatlubis]

Module mldsa_ctrl in state MLDSA_CTRL_MSG_LOAD (line 1242) sends data to keccak and uses ready/valid-handshaking for the synchronisation.
From our understanding, the last message sent is the integer literal "'h0708" (padding).
However, in our counterexamples is seems that mldsa_ctrl is sending this last message in state MLDSA_CTRL_FUNC_START (instead of state MLDSA_CTRL_MSG_LOAD) which does the unconditional transition to state MLDSA_CTRL_DONE.
This includes that it does not wait for any ready signal.

This behaviour looks odd to us.