core: Remove a redundant assignment
core: Fix a potential NULL pointer dereference
interface: Disable redo when making a move

Making a move will clear the redo stack, so the redo button is useless
at that point.
interface: Fix leak of top-level menu models
interface: Fix a leak in the redo stack handling