Improve tests: assert Red Black properties and immutability always
WIP (broken): delete and immutability