Static analysis for combinational loops

### Motivation

This thread discusses some thoughts on adding static combinational loop detection to ROHD:
https://discord.com/channels/545823859006242826/714328992211140609/1212390408244433017

Perhaps it is not too hard to implement.

### Desired solution

At `build` time of a `Module`, perform a static analysis in search of combinational loops.

Ideally, we avoid "warnings" and false positives.

### Alternatives considered

ROHD already will simulate X-prop through combinational loops during simulation.

### Additional details

_No response_