Remove spec-related syntax

[cos]

Description

Removes the spec deprecated syntax: spec, invariant, quantifiers

Test plan

Unit tests still passing. Left the old spec snapshot tests in place to make sure we still get reasonable errors. They now throw "unrecognized syntax" errors instead of deprecation.

---

Release notes

Check each box that your changes affect. If none of the boxes relate to your changes, release notes aren't required.

For each box you select, include information after the relevant heading that describes the impact of your changes that a user might notice and any actions they must take to implement updates.

• [ ] Protocol:
• [ ] Nodes (Validators and Full nodes):
• [ ] gRPC:
• [ ] JSON-RPC:
• [ ] GraphQL:
• [ ] CLI:
• [ ] Rust SDK:

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
sui-docs	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Apr 1, 2025 9:19pm

2 Skipped Deployments

Name	Status	Preview	Comments	Updated (UTC)
multisig-toolkit	⬜️ Ignored (Inspect)	Visit Preview		Apr 1, 2025 9:19pm
sui-kiosk	⬜️ Ignored (Inspect)	Visit Preview		Apr 1, 2025 9:19pm

[github-actions[bot]]

This PR is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 7 days.