feat: add .values() alias for .vals()

[rvanasa]

Makes it possible to write x.values() in place of x.vals() for an array or Blob. This is motivated by the upcoming base library changes in this repository.

values() is used in place of vals() for a large number of popular PLs (JS, Python, Java, C#, Rust, Swift, Kotlin, etc.), so this change would enable developers and LLMs to better transfer knowledge from other languages.

Progress:

• Add alias in type checker
• Update documentation and examples
• Update unit tests to cover both .vals() and .values()

[github-actions]

Comparing from 45d1190 to fb22be8:
In terms of gas, no changes are observed in 5 tests.
In terms of size, no changes are observed in 5 tests.

[ggreif]

LGTM, but make sure that we have at least one test exercising the original vals accessor... See also #4882.

[ggreif]

Looks tike all mechanic changes, tests look good.