> There's no lint or compiler that can check for correctly constructed contracts.

There are definitely linters and this exists https://catala-lang.org/