Added invalidation-on-move detection and handling
Added MoveSet difference and more unit tests for MoveSet