Moved RecordingObservableList, now with shortened name, to list_ops, along with the associated ListOpRecorder, also renamed from ChangeRecordingMonitor. Equivalent for dict_ops and related code.