Modified select_list() and deselect_list() to use batching. This required a new method in OpObservableList, which is now used in the selection ListProperty.