Adaptive Inflation: double-check total supply is modified only by transfers to/from infinite sources/sinks (Follow-up from "Proto: keep total_supply up to date")

The following discussion from !8739 (merged) should be addressed:

• @raphael-proust started a discussion: (+1 comment)

  (Possibly for a follow-up, possibly after activation)

  We should add some tests that the total supply is not modified by non-infinite transfers. We could do this by modifying the existing tests to make this additional check. And/or we can make regression tests (assuming this is correct rn) to make sure a bug is not introduced later.

Token tests are in src/proto_alpha/lib_protocol/test/integration/test_token.ml. They need to be reviewed/refreshed, and updated to cover the total supply