Makefile's test/check targets don't match CI's --workspace invocation

[N-i-xx]

Problem

The Makefile's test/check targets run plain cargo test/cargo check with no --workspace flag, while .github/workflows/ci.yml explicitly runs cargo build --workspace and cargo test --workspace.

Why it matters

Running make test/make check locally doesn't necessarily exercise the verification workspace member the same way CI does, so a contributor getting a clean local run has no guarantee CI will also pass — the two entry points to "run the tests" aren't equivalent.

Suggested fix

Add --workspace to the relevant Makefile targets so local runs match CI's scope.

Acceptance criteria

• make test and make check invoke cargo with --workspace, matching CI
• make test and make check both succeed locally after the change

[VerifiedFlemzy1]

Hello boss, Please assign this issue to me. I checked it out and I am confident I will solve it
my eta is 4 hours

[grantfox-oss]

🦊 GrantFox — @VerifiedFlemzy1 has been assigned to this issue as part of the Official Campaign | FWC26 campaign!

Next steps:

1. Open a Pull Request referencing this issue (e.g., Closes #220)
2. Your PR will be reviewed by the Vero-protocol maintainers

Good luck! Track your progress on GrantFox.