[Bug][move-prover] warning about aggregator.limit from prover tests on framework code

[brmataptos]

🐛 Bug

I'm noticing a warning (in main) when running a bunch of tests which perhaps noone looks at the output of:

warning: cannot select field of intrinsic struct
   ┌─ /Users/brm/code/aptos-core/aptos-move/framework/aptos-framework/sources/aggregator/aggregator.move:34:9
   │
34 │         aggregator.limit
   │         ^^^^^^^^^^^^^^^^

Based on the error message this is happening in move-prover code. The struct aggregator is defined locally in that code, so I'm not sure we're recognizing it as a field of an intrinsic struct.

This is reproducible by running:

cargo test -p aptos-framework -- move_framework_prover_tests

@rahxephon89 mentions that:

Aggregator has an intrinsic implementation so public fun limit(aggregator: &Aggregator): u128 should be implemented as intrinsic as well. But since aggregator (V1) is not being actively used, fixing this does not have high priority

If this is a valid warning, we should fix the framework code. If not, we should fix the prover/compiler code that is showing a warning about it.