adjust cycle-check migration to be valid

it is now possible to rollback the migration.

This fixes #503 (which can be closed upon merge).