Implement some more tests; squash bugs in SmartList/_ListProxy