Add testcases for inversion

Reverse enumeration for sorted lists and binary search trees