Add `forge check`

### Component

Other (please describe)

### Describe the feature you would like

`forge check` would be a command like `cargo check` that parses, lowers and performs semantic analysis. If `cargo check` passes, you have a high degree of confidence that your code will build, and `forge check` would do the same. The difference between `check` commands and `build` commands is that `check` commands skip codegen and optimizer steps.

There is a caveat for `forge check`, which is that it would not perform a stack scheduling algorithm, and as such, cannot provide a 100% guarantee that code builds because of that.

This is blocked by typechecking in Solar.

### Additional context

_No response_