[Specs] ordered_map and big_ordered_map specs for get and get_and_map

[JakeSilverman]

Description

How Has This Been Tested?

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
• Other (specify)

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

[JakeSilverman]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• [Specs] ordered_map and big_ordered_map specs for get and get_and_map #17843 👈 (View in Graphite)
• Adding utilities to avoid using iterators directly in BigOrderedMap/OrderedMap #17821 : 1 other dependent PR (#17823 )
• expose iterators and add utilities to OrderedMap/BigOrderedMap #17441 : 1 other dependent PR (#17829 )
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.