Improve Test Coverage for State Transitions in Precompile Contract Tests

[zsystm]

While reviewing current test cases in precompiles/staking/integration_test.go, it became clear that many of them do not thoroughly verify whether state transitions have occurred as expected — particularly in terms of balance changes and other side effects.

For example, in delegate test cases, we currently do not check whether the delegator’s balance has decreased after delegation. This pattern appears in several other tests as well.

Since the precompiled contract performs relatively complex state transitions, it would be valuable to strengthen test coverage by:

• Adding explicit balance checks before and after state-modifying operations (e.g., delegate, undelegate, redelegate)
• Verifying other relevant state changes, such as updates to staking or vesting state
• Ensuring all critical invariants are maintained post-execution

This issue is to track the effort of improving these test cases incrementally, either as a dedicated PR or progressively alongside other changes.

[zsystm]

While reviewing precompiles/distribution tests, it was noted that several test cases for the following query methods were commented out:

• getValidatorCommission
• getDelegationRewards
• getDelegationTotalRewards

These tests were originally intended to verify that the return amount is zero after commission or rewards have been withdrawn. However, because rewards and commission are re-accrued at the beginning of each block (BeginBlocker), the queried values become non-zero again by the time the test runs—causing the assertions to fail.

Restoring these tests would improve validation of post-withdrawal state transitions. One approach may be to calculate the expected reward or commission for a single block and assert against that value.

This work depends on the #33, as it requires changes to test structure and setup logic. It makes sense to revisit and finalize this after the refactoring is complete, to avoid redundant effort or test conflicts.

cc: @cloudgray