chore: update flow ideas (#61)

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/starkware-libs/starknet-staking/61)
<!-- Reviewable:end -->

<!-- CURSOR_SUMMARY -->
---

> [!NOTE]
> Update flow ideas doc: add a Views section and expand/normalize migration and balance test scenarios.
> 
> - **Docs** (`src/flow_test/flow_ideas.md`):
>   - **New section**: Add `Views` with cases for staker/member balance changes and current-epoch balance views.
>   - **Expanded scenarios**:
>     - k=1 -> k=2 balances: add delegator/staker claim and delegation edge cases.
>     - Migration Member: add V0->V1->V3 flow and refine multiple reward/update-balance permutations.
>     - Migration Staker: add additional enter/upgrade/attest sequences (e.g., V0/V1 to V3).
>     - Pool member current-epoch migration: add explicit cases for V0/V1 paths.
>   - **Cleanup**: normalize bullet formatting and remove duplicates/minor typos.
> 
> <sup>Written by [Cursor Bugbot](https://cursor.com/dashboard?tab=bugbot) for commit a1ef5f2. This will update automatically on new commits. Configure [here](https://cursor.com/dashboard?tab=bugbot).</sup>
<!-- /CURSOR_SUMMARY -->

Author: arad-starkware

src/flow_test/flow_ideas.md

@@ -1,6 +1,8 @@
 # Flow Ideas
-## `get_current_staker_info` (name is WIP)
+## Views
 - Get staker info while staker has zero balance.
+- staker change balance and test with view of current epoch balance
+- member change balance and test with view of current epoch balance
 
 ## `update_rewards`
 - staker with only btc pool.
@@ -15,23 +17,15 @@
 - with member from previous versions.
 
 ## k=1 -> k=2 balances
-- staker with stake, upgrade, increase stake - before upgrade after 1 epoch, after 2 epochs (check also total stake)
-- delegator delegate, upgrade, add delegation - same
 - delegator claim rewards when last change is in epoch + 2, then advance epochs and claim again to see no missing rewards
 - same as above, also when there is change in epoch + 1
-- delegate, advance epoch and get rewards for the pool, claim - zero rewards for the delegate 
+- delegate, advance epoch and get rewards for the pool, claim - zero rewards for the delegate
 - delegate, advance epoch, delegate, advance epoch, claim rewards - only for the first delegation, advance epoch, claim rewards - for all
-- delegator claim after claim 
+- delegator claim after claim
 - delegator claim after claim when exists checkpoint with the current epoch of the first claim
 - staker change balance in each epoch (increase, intent, delegate increase, delegate intent, delegate exit) and attest in each epoch - test rewards (also some epochs with no balance change and some epochs with no attest)
 - staker has multiple pool with multiple delegator each, change balance (staker, strk delegate, btc delegate) and attest in many epochs and test rewards both staker and members
-- staker change balance and test with view of current epoch balance
-- mamber change balance and test with view of current epoch balance
-- staker increase stake, attest same epoch, advance epoch, attest, advance epoch, attest, test rewards
-- delegator increase delegate, attest same epoch, advance epoch, attest, advance epoch, attest, test rewards
 - test staker claim rewards with more than one balance change in an epoch.
-- test delegator claim rewards with V3 rewards?
-- test staker rewards with v3 rewards?
 - member enter, in the same epoch or one epoch after claim (balance is zero).
 
 ## k=1 -> k=2 Migration Member
@@ -56,7 +50,7 @@
 - member from V1(+V2), pool gets rewards at V1, pool gets rewards at V1, update balance at V1, update balance at V3, test rewards (IDX=LEN)
 - member from V1(+V2), pool gets_rewards at V1, pool gets rewards at V1, update balance at V1, pool gets rewards at V3,  update balance at V3, test rewards. (REGULAR CASE)
 - member from V1(+V2), pool gets_rewards at V1, pool gets rewards at V1, update balance at V1, pool gets rewards at V1 same epoch, pool gets rewards at V3,  update balance at V3, test rewards. (REGULAR CASE)
-- V0->V1->V3: 
+- V0->V1->V3:
  - enter in V0, pool gets rewards in V1, change balance at V1, pool gets rewards in V1, pool gets rewards in V3, update balance at V3, pool gets rewards in V3, test rewards.
 more ideas:
 - member from V1, pool gets rewards at V1, update balance at V1, update balance at V3, pool gets rewards at V3, test rewards.
@@ -71,20 +65,19 @@ more ideas:
 - staker enter in V2, advance epoch, advance epoch, upgrade to V3, attest, update balance,advance epoch, attest, advance epoch, attest, test rewards
 - staker enter in V2, advance epoch, update balance, upgrade to V3, attest, advance epoch, attest, advance epoch, attest, test rewards
 - staker enter in V2, advance epoch, upgrade to V3, advance epoch, attest,
-- staker enter in V0, upgrade to V3, attest 
+- staker enter in V0, upgrade to V3, attest
 - staker enter in V0, advance epoch, update balance, upgrade to V3, attest, update balance, advance epoch, attest
 - staker enter in V1, advance epoch, update balance, upgrade to V3, attest, update balance, advance epoch, attest
-- staker enter in V0, advance epoch, update balance, advance epoch, update balance, upgrade to V3, attest 
-- staker enter in V1, advance epoch, update balance, advance epoch, update balance, upgrade to V3, attest 
+- staker enter in V0, advance epoch, update balance, advance epoch, update balance, upgrade to V3, attest
+- staker enter in V1, advance epoch, update balance, advance epoch, update balance, upgrade to V3, attest
 - staker in V2, update balance staker+update balance pool, upgrade, attest in current epoch, attest in next epoch, attest in next next epoch
 - staker in V2, update balance staker+update balance pool, upgrade, update balance staker+update balance pool, attest in current epoch, attest in next epoch, attest in next next epoch
 - staker in V2, advance epoch, update balance staker+update balance pool, advance epoch, update balance staker+update balance pool, upgrade, update balance staker+update balance pool, attest in current epoch, attest in next epoch, attest in next next epoch
 
 ## pool member balance at curr epoch migration
-- Member from V0, no actions in V1 or V2, test curr balance 
-- Member from V1, no actions in V2, test curr balance 
-- Member from V0, change balance at V1, no action at V2, test curr balance 
-- Member from V0, no action at V1, change balance at V2, test curr balance 
+- Member from V0, no actions in V1 or V2, test curr balance
+- Member from V1, no actions in V2, test curr balance
+- Member from V0, change balance at V1, no action at V2, test curr balance
 - Member from V2, change balance, upgrade, test curr balance
 - Cover all ifs with migration from: V0, V1, V2.