[spec] Clean permissioned_signer spec

[rahxephon89]

Description

This PR makes check_permission_consume and capacity spec opaque to further reduce memory usage from 30GB to 7GB.

How Has This Been Tested?

Existing spec tests

Key Areas to Review

Type of Change

• New feature
• Bug fix
• Breaking change
• Performance improvement
• Refactoring
• Dependency update
• Documentation update
• Tests

Which Components or Systems Does This Change Impact?

• Validator Node
• Full Node (API, Indexer, etc.)
• Move/Aptos Virtual Machine
• Aptos Framework
• Aptos CLI/SDK
• Developer Infrastructure
• Move Compiler
• Spec

Checklist

• I have read and followed the CONTRIBUTING doc
• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I identified and added all stakeholders and component owners affected by this change as reviewers
• I tested both happy and unhappy path of the functionality
• I have made corresponding changes to the documentation

[trunk-io]

⏱️ 6m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
check-dynamic-deps	3m	🟩
rust-cargo-deny	2m	🟩
semgrep/ci	28s	🟩
general-lints	24s	🟩
file_change_determinator	10s	🟩
permission-check	3s	🟩
permission-check	2s	🟩

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}