Move migration and code generation to compiled Schema.fs/Db.fs workflows, tighten hot-migration safety and MigLib-owned runtime APIs, and split MigLib.Web into its own package while syncing the 5.0.0 release metadata.