imsm: add 'verify', 'verify with fixup', and 'general' migration types