SMT fix + Noir opti poseidon#13

MatteoMer wants to merge 2 commits intomainhyli-org/cachecash:mainfrom

smt_poseidon2_migrationhyli-org/cachecash:smt_poseidon2_migrationCopy head branch name to clipboard