ci: add local verification command (make verify)

[panditdhamdhere]

Pull Request

Issue Reference

Closes #512

---

Summary

Adds a single local verification command (make verify) that runs formatting, Clippy, workspace tests, and the release WASM build, and documents it from the README and contributor docs so contract PRs are easier to check before CI.

Contract Functions Changed

Function	Change type (added / modified / removed)	Notes
none	—	CI / docs / Makefile only

---

Tests Added or Updated

No contract test changes. This PR adds/aligns the local verification entry point used to run existing checks.

• Happy-path tests added/updated
• Failure and boundary-condition tests added/updated
• Test naming follows the convention in docs/testing.md
• docs/test-coverage.md updated to reflect new or changed tests

---

Security Considerations

No security impact — Makefile, documentation, and PR template updates only. No contract logic, storage, auth, or token-transfer changes.

Security checklist (contract changes only)

N/A — no contract changes.

---

Commands Run

Confirmed make verify expands to:

1. cargo fmt --check
2. cargo clippy --tests -- -D warnings
3. cargo test --workspace
4. cargo build --release --target wasm32-unknown-unknown

• make -n verify — verified command sequence
• make verify — blocked on current main by a pre-existing lib.rs compile error (unrelated merge damage outside this PR)
• (or individually) cargo fmt --check — not re-run end-to-end here
• (or individually) cargo clippy --tests -- -D warnings — blocked by same compile error
• (or individually) cargo test --workspace — blocked by same compile error

---

CI Status

• All CI checks pass on this branch

---

Traceability Table

Criterion ID	Criterion Text	Changed Function(s)	Test(s)	Edge Cases Covered	Status
AC-1	Local verification command is added	none (Makefile verify target)	N/A — tooling	Single make verify entry point	✅ Met
AC-2	Build is included	none	N/A	Release WASM build via cargo build --release --target wasm32-unknown-unknown	✅ Met
AC-3	Tests are included	none	N/A	cargo test --workspace	✅ Met
AC-4	Formatting or lint checks are included where available	none	N/A	cargo fmt --check + cargo clippy --tests -- -D warnings	✅ Met
AC-5	Documentation explains usage	none	N/A	CONTRIBUTING + local-development docs	✅ Met
AC-6	README links to the command	none	N/A	README Local verification + Task Runner + Contributing quick start	✅ Met