feat(planner): prove migrations and diffs from SQLQuack parse trees - #1363

feat(planner): prove migrations and diffs from SQLQuack parse trees#1363

kvlonge wants to merge 5 commits into

wip/analysis-route-clickhousesqlstack-io/sqlbuild:wip/analysis-route-clickhousefrom

feat/planner-proofs-sqlquacksqlstack-io/sqlbuild:feat/planner-proofs-sqlquackCopy head branch name to clipboard