sxt-proof-of-sql

feat: add `get_weighted_multiplicities`, `Column::rho` and `Table::add_rho_column` (#509)

feat: add `Column::rho` and `Table::add_rho_column` && improve `join_util`

feat: add ECPrecompiles Yul library (#512)

ci(sol): update preprocessing script to handle solidity imports

feat(sol): add ECPrecompiles library