Simplify `ClientIVC.Full` test

[maramihali]

The ClientIVC test is made to mimic the actual logic (with a kernel circuit doing two recursive folding verifications) as well as native folding and deciding after each call to ClientIVC.accumulate. Maybe we could simplify this test / separate into several.