Adds invariants to IBS that checks MNO and IntervalsEndingInNode, as well as node sorting.