Fixes some contracts and tests
Fixes intervalwasRemoved and intervalWasAdded in IBS AVL. Instead of overwriting true values, the assignment is now done with and or assignment.
Merge branch 'master' of https://github.com/lundmikkel/C5
Merge branch 'master' of https://github.com/lundmikkel/C5