Specifying the Sequential vs. Combinational driving of logic in `FiniteStateMachine`

### Motivation

It might be worth adding a clarification to the documentation that `actions` in `State` (state `StateMachine`) contains combinational, not sequential logic. Personally, I thought that sequential logic is used for state actions, since the `StateMachine` interface contains `clk`, `reset` inputs.

### Desired solution

Add to the documentation a clarification that `actions` in `State` (state `StateMachine`) contains combinational, not sequential logic.

### Alternatives considered

_No response_

### Additional details

_No response_