Test live valuation updates correctly on withdraw.

[srya-b]

What is it?

Assert that the resulting valuation is consistent with the Kleros implementation.

• Test passing commit.