Adds dissoc rebalancing tests and generative test for sorted-map