Added assert to check DVRSet consistency.