Use the migration @flags for checking various migration aspects rather
than picking them out as booleans. Document the new semantics in the
function header.