A deposit that changes the reserve ratio effectively moves the pool price.
Implement is_proportional_deposit.
Instead of dividing, compare cross products:
x_deposit * y_reserve == y_deposit * x_reserveUse u128 for the multiplication.
For reserves (1000, 2000) and deposit (250, 500), the ratio matches exactly, so return true.