My only gripe with tools like this is that I go through a bunch of effort to enforce invariants in code which don’t transfer over.

Sone invariants are easily expressed in the schema, but others (e.g. anything involving a join) are not.